水槽
发表于 2025-3-26 22:10:36
Paradox, ZF, and the Axiom of FoundationIt is a great pleasure to contribute to this . for John Bell. No-one has done more than he has to demonstrate the fruitfulness of the interplay between technical mathematics and philosophical issues, and he is an inspiration to all of us who work somewhere in the borderland between mathematics and philosophy.
jettison
发表于 2025-3-27 04:33:52
http://reply.papertrans.cn/59/5881/588072/588072_32.png
无力更进
发表于 2025-3-27 06:55:46
Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic GeometryThe years 1978–1980 witnessed the birth of a systematic and organized corpus of knowledge—a theory worth that name—providing the tools required for a structural understanding of the geometric behaviour of algebraic varieties over the field of real numbers.
Detonate
发表于 2025-3-27 13:24:10
Natural Numbers and InfinitesimalsIn the introduction to the second edition of his . (Robinson, 1996) Abraham Robinson included some brief, and, on the face of it, deeply puzzling, remarks by Gödel on the significance of Robinson’s theory.
失望昨天
发表于 2025-3-27 14:37:30
http://reply.papertrans.cn/59/5881/588072/588072_35.png
高脚酒杯
发表于 2025-3-27 20:57:16
http://reply.papertrans.cn/59/5881/588072/588072_36.png
AORTA
发表于 2025-3-27 23:02:04
Book 2011nds and admirers.Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures,several of whom are among the key figures in their fields. Some examples:in foundations of maths and logic(William Lawvere, Peter Ac
N斯巴达人
发表于 2025-3-28 04:03:56
The Municipal By-Laws of Thoughtellectual talent out of the UK? This turned out to be a doubly lucky choice for me. First, being new to the department, John was on the look-out for PhD students who seemed able to do their sums, so the class was a chance to catch his eye. More significantly, the class was a revelation to me.
斜谷
发表于 2025-3-28 06:17:28
Paraconsistent Set Theoryasure from solving the problems that I could not solve, but this was with all the emotional engagement of cross-word puzzle solving. The sense of intellectual excitement that I had experienced at school evaporated.
obeisance
发表于 2025-3-28 13:52:50
Absoluteness and the Skolem Paradox set ((Zermelo, 1908b, pp. 264–265), p. 203 of the English translation), and the essentials of the Burali-Forti argument can be used to prove that there is no ordinary . of all (von Neumann) ordinals.