What came first, math or computing?
45 views
Skip to first unread message
Joao Marcos
Oct 22, 2023, 8:26:32 PM10/22/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
https://cacm.acm.org/magazines/2023/11/277437-what-came-first-math-or-computing/fulltext
-- por Moshe Vardi
%%%
O artigo inclui uma definição interessante de *demonstração
matemática* (grifo meu):
"In 1979, building on NP-completeness theory, Cook and Robert Reckhow
were finally able to answer the fundamental question of what a
mathematical proof is, *evidence that is so rigorous it can be checked
computationally*."
O que vocês acham disso?
João Marcos
-- por Moshe Vardi
%%%
O artigo inclui uma definição interessante de *demonstração
matemática* (grifo meu):
"In 1979, building on NP-completeness theory, Cook and Robert Reckhow
were finally able to answer the fundamental question of what a
mathematical proof is, *evidence that is so rigorous it can be checked
computationally*."
O que vocês acham disso?
João Marcos
Laurent Dubois
Oct 23, 2023, 6:05:09 AM10/23/23
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Dear All,
I would be really grateful to anyone interested in reading the presentation (in Latex pdf in attachment) of the LDL Trans-Referential (Meta-) Theory, a first-order formalization of the notion of Multi-verses, with, as surprising consequences, a solution to the Russell paradox and an alternative to imaginary and complex numbers.
Any remark, critic, suggestion is welcome.
Any suggestion of review to which submit it is welcome too.
Many thanks in advance,
Best wishes,
Laurent Dubois
0484291286
N°TVA : 0560.869.638
BNP-Paribas-Fortis : 001-7364601-49
IBAN : BE 97 001736460149
Haniel Barbosa
Oct 23, 2023, 10:19:30 AM10/23/23
to Joao Marcos, logi...@dimap.ufrn.br
Eu posso ser suspeito pra falar (já que nos últimos anos venho
trabalhando principalmente com isso), mas gosto da definição. :)
Uma demonstração é um artefato de convencimento, e nada é mais
convincente do que algo que pode ser validado mecanicamente. Tem quem
só considere como demonstração de verdade o que pode ser validado
*eficientemente*, mas aí já acho preciosismo.
Abraço,
--
Haniel Barbosa
https://hanielbarbosa.com/
trabalhando principalmente com isso), mas gosto da definição. :)
Uma demonstração é um artefato de convencimento, e nada é mais
convincente do que algo que pode ser validado mecanicamente. Tem quem
só considere como demonstração de verdade o que pode ser validado
*eficientemente*, mas aí já acho preciosismo.
Abraço,
Haniel Barbosa
https://hanielbarbosa.com/
Joao Marcos
Jan 23, 2024, 10:13:43 AM1/23/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
> https://cacm.acm.org/magazines/2023/11/277437-what-came-first-math-or-computing/fulltext
> -- por Moshe Vardi
A palestra está agora disponível online:
> -- por Moshe Vardi
https://youtu.be/CiD2Hm4GmpQ?si=RdepvkF2D3vT7vp_
Abraços, Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
Reply all
Reply to author
Forward
0 new messages