December 2020 Archives by thread

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

Starting: Thu Dec 3 06:06:30 EST 2020
Ending: Wed Dec 30 19:31:13 EST 2020
Messages: 42

• Reminder CFP: Special Issue on Reasoning about Social Networks, Journal of Logic and Computation   gprimiero at libero.it
• David Charles McCarty (October 20, 1953 – November 25, 2020)   Martin Davis
• Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture   Rozman, Mihaela
• Infeasible inconsistency   Joe Shipman
  • Infeasible inconsistency   Tennant, Neil
    • Infeasible inconsistency   Joe Shipman
      • Infeasible inconsistency   Kreinovich, Vladik
      • Infeasible inconsistency   Joe Shipman
  • Infeasible inconsistency   Anton Freund
• Strict formalism   Timothy Y. Chow
• Universal Logic Project: 16/12/2020 Webinar   jean-yves beziau
• Russell vs Hilbert   Joe Shipman
  • Russell vs Hilbert   Timothy Y. Chow
  • Russell vs Hilbert   Patrik Eklund
  • Russell vs Hilbert   Richard Kimberly Heck
  • Russell vs Hilbert   Tennant, Neil
  • Russell vs Hilbert   Ignacio Añón
  • Fwd: Russell vs Hilbert   Deutsch, Harry
  • Russell vs Hilbert   Josef Urban
  • Russell vs Hilbert   Timothy Y. Chow
    • Russell vs Hilbert   Sayantan Roy
• Re: Russell’s “Logicism” vs. Pure Logicism   Oliver Marshall
  • Re: Russell’s “Logicism” vs. Pure Logicism   MARÍA GRACIA MANZANO ARJONA
• Incompleteness theorems and bounded reverse mathematics   Timothy Y. Chow
  • Incompleteness theorems and bounded reverse mathematics   Richard Heck
    • Incompleteness theorems and bounded reverse mathematics   Timothy Y. Chow
  • Incompleteness theorems and bounded reverse mathematics   martdowd at aol.com
• Russell's "Logicism" vs. Pure Logicism   Alasdair Urquhart
• the missing umlaut on Gödel's gravestone   Martin Davis
  • Re: the missing umlaut on Gödel's gravestone   Monroe Eskew
  • Re: Re: the missing umlaut on Gödel's gravestone   Kennedy, Juliette
• World Logic Day, 14th Jan 21: Logic & Phil of Math in the evening* (CET*)   Deborah Kant
• complexity of cut elimination   martdowd at aol.com
• the missing umlaut on G?del's gravestone   Michael Barany
  • the missing umlaut on Gödel's gravestone   Gernot Salzer
    • Re: the missing umlaut on Gödel's gravestone   Kennedy, Juliette
      • Re: the missing umlaut on Gödel's gravestone   Annatala Wolf
      • Re: the missing umlaut on Gödel's gravestone   Monroe Eskew
• New manuscript on equational systems   martdowd at aol.com
• New paper on P vs NP   Lew Gordeew
• 3rd World Logic Day: January 14, 2021   jean-yves beziau
• Consistency of polynomial space arithmetic   martdowd at aol.com

Last message date: Wed Dec 30 19:31:13 EST 2020
Archived on: Wed Dec 30 19:32:17 EST 2020

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