May 2016 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

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] The unreasonable soundness of mathematics   Mario Carneiro
    • [FOM] The unreasonable soundness of mathematics   Timothy Y. Chow
      • [FOM] The unreasonable soundness of mathematics   Mario Carneiro
      • [FOM] The unreasonable soundness of mathematics   Timothy Y. Chow
      • [FOM] The unreasonable soundness of mathematics   Mario Carneiro
      • [FOM] The unreasonable soundness of mathematics   Timothy Y. Chow
      • [FOM] The unreasonable soundness of mathematics   Mario Carneiro
      • [FOM] The unreasonable soundness of mathematics   Timothy Y. Chow
      • [FOM] The unreasonable soundness of mathematics   Mario Carneiro
  • [FOM] The unreasonable soundness of mathematics   Daniel Mehkeri
  • [FOM] The unreasonable soundness of mathematics   Timothy Y. Chow
    • [FOM] The unreasonable soundness of mathematics   Daniel Mehkeri
      • [FOM] The unreasonable soundness of mathematics   Timothy Y. Chow
      • [FOM] The unreasonable soundness of mathematics   Daniel Mehkeri
• [FOM] 672: Refuting the Continuum Hypothesis?/1   Harvey Friedman
• [FOM] 673: Pi01 Incompleteness/SRP,HUGE/16   Harvey Friedman
• [FOM] Fwd: Call for papers on mathematical pluralism   Andrew Aberdein
• [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] Second announcement: 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] Question About Henkin Models for Second-order Arithemetic   Ali Enayat
• [FOM] Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld   Balthasar Grabmayr
• [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] Mandelbrot set, Catalan numbers, Context-free grammars   Veronica Becher
  • [FOM] Mandelbrot set, Catalan numbers, Context-free grammars   Laurent Bartholdi
  • [FOM] Mandelbrot set, Catalan numbers, Context-free grammars   Timothy Y. Chow
    • [FOM] Mandelbrot set, Catalan numbers, Context-free grammars   Andrius Kulikauskas
• [FOM] MK |- CON(ZF) ?   Adam Kolany
  • [FOM] MK |- CON(ZF) ?   Richard Heck
    • [FOM] MK |- CON(ZF) ?   Adam Kolany
    • [FOM] MK |- CON(ZF) ?   Chris Scambler
      • [FOM] MK |- CON(ZF) ?   Richard Heck
• [FOM] AUTOMATA 2016 program and early registration deadline   Turlough Neary
• [FOM] Fwd: Philosophical intuitions of mathematicians, your help please   L P Cruz, PhD
• [FOM] Colloquium Logicum 2016   Yurii Khomskii
• [FOM] 677:Embedded Maximality and Pi01 Incompleteness/2   Harvey Friedman
• [FOM] Reminder: postdoc position in semantics and effects SUNDAY DEADLINE   Paul B Levy
• [FOM] bounds on proofs   Sara L. Uckelman
  • [FOM] bounds on proofs   Alasdair Urquhart
• [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] First- Vs Second-Order Logic: Origins of the Distinction?   Moshe Vardi
      • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Stewart Shapiro
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Alasdair Urquhart
    • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   WILLIAM TAIT
      • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   William B. Ewald
    • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Walt Read
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Michael Lee Finney
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Mummert, Carl
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   josef at us.es
    • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Joseph Shipman
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   josef at us.es
    • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   joeshipman at aol.com
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   josef at us.es
    • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Joseph Shipman
      • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   WILLIAM TAIT
      • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Joseph Shipman
      • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Robert Black
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   josef at us.es
  • [FOM] First- Vs Second-Order Logic: Origins of the Distinction?   Curtis Franks
• [FOM] Why did Kleene name it "T"?   Shane Steinert-Threlkeld
  • [FOM] Why did Kleene name it "T"?   Daniel Schwartz
    • [FOM] Why did Kleene name it "T"?   WILLIAM TAIT
      • [FOM] Why did Kleene name it "T"?   mate szabo
  • [FOM] Why did Kleene name it "T"?   Richard Weyhrauch
• [FOM] Solving set theoretic problems?/2   Harvey Friedman
• [FOM] Concerning 1st and 2nd order "logic"   Harvey Friedman
• [FOM] 679:Symmetric Maximality and Pi01 Incompleteness/1   Harvey Friedman
• [FOM] Kleene's T predicate   Martin Davis
  • [FOM] Kleene's T predicate   Yiannis N. Moschovakis
    • [FOM] Kleene's T predicate   Daniel Schwartz
  • [FOM] Kleene's T predicate   Daniel Schwartz
• [FOM] Logicism: a survey   Joseph Shipman
• [FOM] Fwd: MWPMW 17   Martin Davis
• [FOM] message from the moderator   Martin Davis
• [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] Call for papers: 7th Indian Conference on Logic and its Applications, January 5-7, 2017 (ICLA 2017), IIT Kanpur, India   Sujata Ghosh
• [FOM] Mathematicians Bridge Finite-Infinite Divide?   Arnon Avron
• [FOM] 680: Large Cardinals and Continuations/1   Harvey Friedman
• [FOM] Fwd: First- Vs Second-Order Logic: Origins of the Distinction?   WILLIAM TAIT
• [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

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...