Boa noite,
A UFERSA abriu um concurso para professor adjunto no campus de Pau dos
Ferros, principalmente em disciplinas da área de lógica e de teoria da
computação. O campus possui atualmente 22 docentes da área de computação.
Seguem algumas informações relevantes sobre o concurso.
*Disciplinas/
“Transcendental numbers include famous examples like e and π, but it took
mathematicians centuries to understand them.”
https://www.quantamagazine.org/recounting-the-history-of-maths-transcendental-numbers-20230627/
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área
Obrigado Ruy.
Tenho usado uma versão gratuita do GPT4 através do sincode.ai, me parece
que o Terry Tao está absolutamente correto.
Quando integrado com ferramentas como verificadores de prova, assistentes
de prova como Coq e Isabelle, pesquisa na internet e pacotes matemáticos
simbólicos como
“The 2023-level AI can already generate suggestive hints and promising leads to
a working mathematician and participate actively in the decision-making
process. When integrated with tools such as formal proof verifiers, internet
search, and symbolic math packages, I expect, say, 2026-level AI,
