May 2016 Archives by date
Starting: Sun May 1 01:11:26 EDT 2016
Ending: Tue May 31 13:42:17 EDT 2016
Messages: 99
- [FOM] Refuting CH?/7
Harvey Friedman
- [FOM] post-doc at U of Lisbon
Fernando Ferreira
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] The unreasonable soundness of mathematics
Josef Urban
- [FOM] 672: Refuting the Continuum Hypothesis?/1
Harvey Friedman
- [FOM] 673: Pi01 Incompleteness/SRP,HUGE/16
Harvey Friedman
- [FOM] The unreasonable soundness of mathematics
Mario Carneiro
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] Fwd: Call for papers on mathematical pluralism
Andrew Aberdein
- [FOM] The unreasonable soundness of mathematics
Mario Carneiro
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016
Achim D. Brucker
- [FOM] 674: Refuting the Continuum Hypothesis?/2
Harvey Friedman
- [FOM] Yedidia and Aaronson : Turing machines, Stationary Ramsey, Busy Beaver
Olivier Gerard
- [FOM] The 8000th Busy Beaver number eludes ZF set theory?
Arnon Avron
- [FOM] 675:Embedded Maximality and Pi01 Incompleteness/1
Harvey Friedman
- [FOM] Fw: Oberwolfach Prize 2016 in Discrete Mathematics: Call for nominations
Kreinovich, Vladik
- [FOM] 5th CSLI Workshop on Logic, Rationality, and Intelligent Interaction
Chris Mieczyslaw Mierzewski
- [FOM] 676: Refuting the Continuum Hypothesis?/3
Harvey Friedman
- [FOM] Solving set theoretic problems?
Harvey Friedman
- [FOM] LC2016: early registration deadline
Nicola Gambino
- [FOM] Question About Henkin Models for Second-order Arithemetic
Richard Heck
- [FOM] Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld
Balthasar Grabmayr
- [FOM] Question About Henkin Models for Second-order Arithemetic
Ali Enayat
- [FOM] The unreasonable soundness of mathematics
Daniel Mehkeri
- [FOM] FilMat 2016 - Philosophy of mathematics: truth, existence and explanation - 2nd FilMat Conference - University of Chieti-Pescara, Chieti - 26-28 May 2016
Pierluigi Graziani
- [FOM] Mandelbrot set, Catalan numbers, Context-free grammars
Andrius Kulikauskas
- [FOM] MK |- CON(ZF) ?
Adam Kolany
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] MK |- CON(ZF) ?
Richard Heck
- [FOM] The unreasonable soundness of mathematics
Mario Carneiro
- [FOM] Mandelbrot set, Catalan numbers, Context-free grammars
Veronica Becher
- [FOM] Mandelbrot set, Catalan numbers, Context-free grammars
Laurent Bartholdi
- [FOM] AUTOMATA 2016 program and early registration deadline
Turlough Neary
- [FOM] The unreasonable soundness of mathematics
Daniel Mehkeri
- [FOM] Mandelbrot set, Catalan numbers, Context-free grammars
Timothy Y. Chow
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] Fwd: Philosophical intuitions of mathematicians, your help please
L P Cruz, PhD
- [FOM] MK |- CON(ZF) ?
Adam Kolany
- [FOM] The unreasonable soundness of mathematics
Mario Carneiro
- [FOM] MK |- CON(ZF) ?
Chris Scambler
- [FOM] MK |- CON(ZF) ?
Richard Heck
- [FOM] The unreasonable soundness of mathematics
Daniel Mehkeri
- [FOM] Colloquium Logicum 2016
Yurii Khomskii
- [FOM] 677:Embedded Maximality and Pi01 Incompleteness/2
Harvey Friedman
- [FOM] Second announcement: 5th CSLI Workshop on Logic, Rationality, and Intelligent Interaction
Chris Mieczyslaw Mierzewski
- [FOM] Reminder: postdoc position in semantics and effects SUNDAY DEADLINE
Paul B Levy
- [FOM] bounds on proofs
Sara L. Uckelman
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] 678:Symmetric Optimality and Pi01 Incompleteness/1
Harvey Friedman
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Richard Heck
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Walt Read
- [FOM] Why did Kleene name it "T"?
Shane Steinert-Threlkeld
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Alasdair Urquhart
- [FOM] bounds on proofs
Alasdair Urquhart
- [FOM] The unreasonable soundness of mathematics
Mario Carneiro
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Michael Lee Finney
- [FOM] Solving set theoretic problems?/2
Harvey Friedman
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Mummert, Carl
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Moshe Vardi
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
WILLIAM TAIT
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Walt Read
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
josef at us.es
- [FOM] Why did Kleene name it "T"?
Daniel Schwartz
- [FOM] Why did Kleene name it "T"?
WILLIAM TAIT
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Joseph Shipman
- [FOM] Why did Kleene name it "T"?
mate szabo
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Stewart Shapiro
- [FOM] Concerning 1st and 2nd order "logic"
Harvey Friedman
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
William B. Ewald
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
josef at us.es
- [FOM] Why did Kleene name it "T"?
Richard Weyhrauch
- [FOM] 679:Symmetric Maximality and Pi01 Incompleteness/1
Harvey Friedman
- [FOM] Kleene's T predicate
Martin Davis
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
joeshipman at aol.com
- [FOM] Kleene's T predicate
Yiannis N. Moschovakis
- [FOM] Kleene's T predicate
Daniel Schwartz
- [FOM] Logicism: a survey
Joseph Shipman
- [FOM] Mandelbrot set, Catalan numbers, Context-free grammars
Andrius Kulikauskas
- [FOM] Fwd: MWPMW 17
Martin Davis
- [FOM] message from the moderator
Martin Davis
- [FOM] Kleene's T predicate
Daniel Schwartz
- [FOM] Regarding McCarthy's Approach
Harvey Friedman
- [FOM] Revised version of "Combining Logics" at the Stanford Encyclopedia of Philosophy
Walter Alexandre Carnielli
- [FOM] Trends in Logic XVI: 40 years of CLE (Campinas, SP, Brazil)
Walter Alexandre Carnielli
- [FOM] Concerning Logicism
Harvey Friedman
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
josef at us.es
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
josef at us.es
- [FOM] Call for papers: 7th Indian Conference on Logic and its Applications, January 5-7, 2017 (ICLA 2017), IIT Kanpur, India
Sujata Ghosh
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Joseph Shipman
- [FOM] Mathematicians Bridge Finite-Infinite Divide?
Arnon Avron
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
WILLIAM TAIT
- [FOM] 680: Large Cardinals and Continuations/1
Harvey Friedman
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Joseph Shipman
- [FOM] Fwd: First- Vs Second-Order Logic: Origins of the Distinction?
WILLIAM TAIT
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Robert Black
- [FOM] First- Vs Second-Order Logic: Origins of the Distinction?
Curtis Franks
- [FOM] congratulations to Yuri Matiyasevich
Kreinovich, Vladik
Last message date:
Tue May 31 13:42:17 EDT 2016
Archived on: Tue May 31 17:26:31 EDT 2016
This archive was generated by
Pipermail 0.09 (Mailman edition).