COUCH
发表于 2025-3-28 16:14:31
Martin Davis on Computability, Computational Logic, and Mathematical Foundations978-3-319-41842-1Series ISSN 2211-2758 Series E-ISSN 2211-2766
漫步
发表于 2025-3-28 19:02:00
http://reply.papertrans.cn/63/6249/624873/624873_42.png
乐章
发表于 2025-3-29 00:46:48
http://reply.papertrans.cn/63/6249/624873/624873_43.png
Apoptosis
发表于 2025-3-29 04:00:13
http://reply.papertrans.cn/63/6249/624873/624873_44.png
JAUNT
发表于 2025-3-29 10:27:36
http://reply.papertrans.cn/63/6249/624873/624873_45.png
reserve
发表于 2025-3-29 12:02:11
Pragmatic Platonism,It is argued that to a greater or less extent, all mathematical knowledge is empirical.
宴会
发表于 2025-3-29 18:25:57
Concluding Comments by Martin,After a very brief comment on Yuri Matiyasevich’s contribution, I discuss at greater length proposals to use modal logic to clarify foundational issues in set theory. Finally, I very sadly bid farewell to my friend and collaborator Hilary Putnam.
PLE
发表于 2025-3-29 19:54:29
Hyperarithmetical Sets, in the spirit (if not the letter) of the methods which were available at the time. This is an elementary, expository article and includes an Appendix which summarizes the few basic facts about computability theory that it assumes.
尽责
发表于 2025-3-30 00:08:16
What Is Essential Unification?,r this and other reasons there is hence (i) a strong interest to compute a much smaller generating set of . unifiers and then (ii) to find efficient engineering solutions to handle these sets. ., as introduced by Hoche and Szabo, generalize the notion of a most general unifier and they have a dramat
daredevil
发表于 2025-3-30 05:08:24
http://reply.papertrans.cn/63/6249/624873/624873_50.png