Uma Nova Constante Complexa Derivada da Razão Áurea e sua Conjectura de Transcendência

2025-06-22

Um artigo de pesquisa de Tristen Harr introduz e analisa uma nova constante complexa, ΛG1, derivada de potências inversas da razão áurea, ϕ. Definida como ΛG1 = T + iJ, onde T = 1/(2ϕ) e J = 1/(2ϕ²), é provado ser um número algébrico com magnitude menor que um, adequado como argumento para a função Polilogaritmo, Lis(z). Avaliações numéricas de alta precisão para o Dilogaritmo (s=2) e o Trilogaritmo (s=3) sugerem que Lis(ΛG1) é transcendente para todos os inteiros s≥2 e reside fora da extensão de campo Q(π, ln(2), ϕ). Esta pesquisa é parcialmente motivada por potenciais aplicações em estudos de quase-cristais, onde a razão áurea é fundamental.

Leia mais

Deputy: Uma Linguagem Tipada Dependente Hospedada em Clojure

2025-05-20

Deputy é uma linguagem de programação experimental com tipos dependentes, incorporada em Clojure, com tipos de dados indutivos. Ela explora as implicações de um fluxo de trabalho baseado em REPL e Lisp para programação e verificação de tipos. Implementada como uma biblioteca Clojure, permite que os programadores utilizem a linguagem anfitriã enquanto trabalham no nível de tipo. Isso possibilita cálculos de nível de tipo que dependem de valores, desbloqueando padrões de programação poderosos. É importante destacar que, apesar da rica semântica dinâmica dos tipos, a verificação de tipos permanece uma operação puramente em tempo de compilação.

Leia mais
Desenvolvimento