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