June 2018 Archives by thread

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

Starting: Fri Jun 1 01:02:03 EDT 2018
Ending: Fri Jun 29 09:13:22 EDT 2018
Messages: 60

• [FOM] Emulating Mathematicians   Harvey Friedman
• [FOM] Harrison Advocates ZFC (tweaked)   Lawrence Paulson
• [FOM] Harrison Advocates ZFC   Lawrence Paulson
  • [FOM] Harrison Advocates ZFC   Lawrence Paulson
• [FOM] Conference in honor of Ken Manders   Jeremy Avigad
• [FOM] Harrison Advocates ZFC (Metamath)   Norman Megill
• [FOM] A speculative prediction about theorem-proving AI   Timothy Y. Chow
  • [FOM] A speculative prediction about theorem-proving AI   Josef Urban
    • [FOM] A speculative prediction about theorem-proving AI   Josef Urban
    • [FOM] A speculative prediction about theorem-proving AI   Serguei Mokhov
• [FOM] 814: Beyond Perfectly Natural/13   Harvey Friedman
• [FOM] undefined expressions   Paul Blain Levy
  • [FOM] undefined expressions   Norman Megill
    • [FOM] undefined expressions   Paul Blain Levy
• [FOM] Consistency of PA, again   Timothy Y. Chow
  • [FOM] Consistency of PA, again   Dennis E. Hamilton
  • [FOM] Consistency of PA, again   WILLIAM TAIT
    • [FOM] Consistency of PA, again   Timothy Y. Chow
  • [FOM] Consistency of PA, again   freund at mathematik.tu-darmstadt.de
• [FOM] 815: Beyond Perfectly Natural/14   Harvey Friedman
• [FOM] 816: Beyond Perfectly Natural/15   Harvey Friedman
• [FOM] WHY, WHAT, WHEN, WHERE & HOW TO PUBLISH ?   jean-yves beziau
• [FOM] [DEADLINE EXTENSION] Formal Verification of Physical Systems (FVPS 2018)   Umair Siddique
• [FOM] LSFA 2018 Deadline Extension (2 weeks)   Francicleber M. Ferreira
• [FOM] 817: Beyond Perfectly Natural/16   Harvey Friedman
• [FOM] SECRET SPEAKER - UNILOG'2018 / Hint: "What I tell you three times is true." (The Hunting of the Snark, Lewis Carroll)   jean-yves beziau
• [FOM] 818: Beyond Perfectly Natural/17   Harvey Friedman
• [FOM] 819: Sugared ZFC Formalization/1   Harvey Friedman
• [FOM] CFP: One Month Until Left For Submitting to The Workshop in OCL and Textual Modeling (OCL 2018)   Achim D. Brucker
• [FOM] 820: Sugared ZFC Formalization/2   Harvey Friedman
  • [FOM] 820: Sugared ZFC Formalization/2   Lawrence Paulson
  • [FOM] 820: Sugared ZFC Formalization/2   Harvey Friedman
    • [FOM] 820: Sugared ZFC Formalization/2   Tennant, Neil
    • [FOM] 820: Sugared ZFC Formalization/2   Lawrence Paulson
    • [FOM] 820: Sugared ZFC Formalization/2   Bill Greenberg
  • [FOM] 820: Sugared ZFC Formalization/2   Harvey Friedman
    • [FOM] 820: Sugared ZFC Formalization/2   Tennant, Neil
  • [FOM] 820: Sugared ZFC Formalization/2   William M. Farmer
  • [FOM] 820: Sugared ZFC Formalization/2   José Manuel Rodriguez Caballero
  • [FOM] 820: Sugared ZFC Formalization/2   Harvey Friedman
• [FOM] 821: Beyond Perfectly Natural/18   Harvey Friedman
• [FOM] Convincing Edward Nelson that PA is consistent   Timothy Y. Chow
  • [FOM] Convincing Edward Nelson that PA is consistent   Timothy Y. Chow
    • [FOM] Convincing Edward Nelson that PA is consistent   katzmik at macs.biu.ac.il
    • [FOM] Convincing Edward Nelson that PA is consistent   Alasdair Urquhart
    • [FOM] Convincing Edward Nelson that PA is consistent   Timothy Y. Chow
  • [FOM] Convincing Edward Nelson that PA is consistent   Arnon Avron
    • [FOM] Convincing Edward Nelson that PA is consistent   Timothy Y. Chow
  • [FOM] Convincing Edward Nelson that PA is consistent   Lukasz T. Stepien
  • [FOM] Convincing Edward Nelson that PA is consistent   José Manuel Rodriguez Caballero
• [FOM] Last call for registration   Joost Joosten
• [FOM] 629: Boolean Algebra/Simplicity   Matthew Szudzik
• [FOM] Polynomial Consistency Proofs   freund at mathematik.tu-darmstadt.de
• [FOM] FOM query   Gregory Taylor
• [FOM] DICE Special Issue in TCS -- Call for Papers   Martin Avanzini
• [FOM] Winners of the VCLA International Student Awards 2018   Mihaela Rozman
• [FOM] Ivan Varzinczak, winner of the universal logic prize at UNILOG'2018   jean-yves beziau
• [FOM] PhD Positions with a Special Call for Women in Computer Science by Logical Methods in Computer Science - LogiCS Doctoral College in Austria   Mihaela Rozman
• [FOM] Professor Roberto Cignoli passed away   Verónica Becher
• [FOM] Sad news: Vladimir A. Uspensky   Stanislav Speranski

Last message date: Fri Jun 29 09:13:22 EDT 2018
Archived on: Sat Jun 30 10:53:15 EDT 2018

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