January 2020 Archives by date

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

Starting: Thu Jan 2 06:25:17 EST 2020
Ending: Thu Jan 30 19:47:08 EST 2020
Messages: 140

• [FOM] Ordering a rank   Marco Forti
• [FOM] Ordering a rank   Joe Shipman
• [FOM] Ordering a rank (Joe Shipman)   David Ross
• [FOM] Ordering a rank (Joe Shipman)   Marco Forti
• [FOM] CfP: NLA'20 Special Session at DCAI'20   Roussanka Loukanova
• [FOM] Artin-Schreier for Q, without choice?   Timothy Y. Chow
• [FOM] Artin-Schreier for Q, without choice?   Joe Shipman
• [FOM] Artin-Schreier for Q, without choice?   Colin McLarty
• [FOM] Artin-Schreier for Q, without choice?   Ingo Blechschmidt
• [FOM] Artin-Schreier for Q, without choice?   Noah Schweber
• [FOM] CfP: Special issue of "Logical Investigations" on negation   Hitoshi Omori
• [FOM] Clay Institute millennium prize problems   Joe Shipman
• [FOM] Final CfP: Workshop "Proofs, Computation and Meaning"   Paolo Pistone
• [FOM] CfA: SILFS 2020 - Triennial international conference of the Italian Society for Logic and the Philosophy of Science   Pierluigi Graziani
• [FOM] Michael Detlefsen   Martin Davis
• [FOM] 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020   Mihaela Rozman
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Improving Set Theory   Harvey Friedman
• [FOM] Foundational Challenge   Michael Lee Finney
• [FOM] Improving set theory   Paul Blain Levy
• [FOM] Foundational Challenge   Paul Blain Levy
• [FOM] Improving Set Theory   José Manuel Rodríguez Caballero
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Foundational Challenge   Tennant, Neil
• [FOM] Michael Detlefsen   Timothy Y. Chow
• [FOM] Foundational Challenge   Michael Lee Finney
• [FOM] Foundational Challenge   Richard Kimberly Heck
• [FOM] Improving Set Theory   Arnold Neumaier
• [FOM] Improving Set Theory   Christopher Menzel
• [FOM] Improving Set Theory   martdowd at aol.com
• [FOM] R: Improving Set Theory   Antonino Drago
• [FOM] Improving set theory   Joe Shipman
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Foundational Challenge   Harvey Friedman
• [FOM] Michael Detlefsen   Harvey Friedman
• [FOM] Improving Set Theory   Victor Makarov
• [FOM] 838: New Tangible Incompleteness/1   Harvey Friedman
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Foundational Challenge   martdowd at aol.com
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Foundational Challenge   Harvey Friedman
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Foundational Challenge   Peter LeFanu Lumsdaine
• [FOM] Improving Set Theory   Harvey Friedman
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Improving set theory   Christopher Menzel
• [FOM] 839: New Tangible Incompleteness/2   Harvey Friedman
• [FOM] Improving set theory   Paul Blain Levy
• [FOM] LATD 2020: Call for Papers   Tommaso Moraschini
• [FOM] Improving set theory   martdowd at aol.com
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Improving Set Theory   Timothy Y. Chow
• [FOM] Improving Set Theory/Self Proving   Harvey Friedman
• [FOM] Foundational Challenge   Gabbay, Murdoch
• [FOM] January 14, 2020 - World Logic Day - UNESCO   jean-yves beziau
• [FOM] Improving Set Theory   Lawrence Paulson
• [FOM] Improving Set Theory/Self Proving   Timothy Y. Chow
• [FOM] Improving Set Theory   José Manuel Rodríguez Caballero
• [FOM] Improving set theory   Paul Blain Levy
• [FOM] Errors discovered as a result of formalization   Timothy Y. Chow
• [FOM] 840: New Tangible Incompleteness/3   Harvey Friedman
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Improving Set Theory/Self Proving   Lawrence Paulson
• [FOM] Logical Perspectives 2020   Лев Д. Беклемишев
• [FOM] Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain   Rozman, Mihaela
• [FOM] Errors discovered as a result of formalization   Lawrence Paulson
• [FOM] CL 2020: first announcement   Cenzer,Douglas A
• [FOM] Foundational Challenge   Emilio Jesús Gallego Arias
• [FOM] Improving Set Theory   Emilio Jesús Gallego Arias
• [FOM] 841: New Tangible Incompleteness/4   Harvey Friedman
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Foundational Challenge   Emilio Jesús Gallego Arias
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Improving Set Theory   Timothy Y. Chow
• [FOM] Errors discovered as a result of formalization   José Manuel Rodriguez Caballero
• [FOM] Call for Applications: 100 grants - “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information” at CLE/Unicamp, Brazil   Walter Carnielli
• [FOM] Foundational Challenge   Paul Blain Levy
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] quantum supremacy: unproved mathematical assumptions   José Manuel Rodríguez Caballero
• [FOM] Foundational Challenge   Mario Carneiro
• [FOM] 2nd CFP Logica 2020   Igor Sedlar
• [FOM] Foundational Challenge   katzmik at macs.biu.ac.il
• [FOM] Foundational Challenge   Lew Gordeew
• [FOM] Foundational Challenge   Harvey Friedman
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Foundational Challenge   Frédéric Blanqui
• [FOM] AUTOMATA 2020 - Announcement and call for papers and contributed talks   Hector Zenil
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] CCR 2020 and LCD 2020 -- Cambridge and Leeds, UK -- June/July 2020   Paul Shafer
• [FOM] ZFC Foundations for Mathematics   Harvey Friedman
• [FOM] 2nd CfP: NETREASON Workshop at ECAI2020   gprimiero at libero.it
• [FOM] Foundational Challenge   Lawrence Paulson
• [FOM] Foundational Challenge   Gabbay, Murdoch
• [FOM] Remainder: Two faculty positions in logical foundations of maths or computer science, Wuhan (China), Deadline: 9 Feb 2020   Windows Live 2018
• [FOM] Foundational Challenge   José Manuel Rodríguez Caballero
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] On lengths of proofs   Joe Shipman
• [FOM] Foundational Challenge   José Manuel Rodríguez Caballero
• [FOM] Foundational Challenge   Patrik Eklund
• [FOM] Foundational Challenge   Sam Sanders
• [FOM] CFP: Abstractionism 2 conference, UConn   Rossberg, Marcus
• [FOM] Definable well-orderings   Joe Shipman
• [FOM] Foundational Challenge   Timothy Y. Chow
• [FOM] Computer Scientists visa vie Mathematicians   Dennis E. Hamilton
• [FOM] Foundational Challenge   Lukasz T. Stepien
• [FOM] Foundational Challenge   Tennant, Neil
• [FOM] Foundational Challenge   Louis H Kauffman
• [FOM] Foundational Challenge   Patrik Eklund
• [FOM] Foundational Challenge   Louis H Kauffman
• [FOM] Computer Scientists visa vie Mathematicians   Dennis E. Hamilton
• [FOM] Foundational Challenge   Gabbay, Murdoch
• [FOM] Foundational Challenge   Joe Shipman
• [FOM] Foundational Challenge   Gabbay, Murdoch
• Cognitive biases in the proof of Cook's theorem?   Cas Barla
• [FOM] Cognitive biases in the proof of Cook's theorem?   Timothy Y. Chow
• [FOM] Foundational Challenge   Timothy Y. Chow
• Thoughts on CH   Joe Shipman
• Ultra Tangible f.o.m.   Harvey Friedman
• The Kolakoski challenge   José Manuel Rodriguez Caballero
• Thoughts on CH   Annatala Wolf
• Thoughts on CH   Joe Shipman
• [FOM] Foundational Challenge   Joe Shipman
• Choice by enumeration without power - how strong is it?   Frode Bjørdal
• [FOM] Thoughts on CH   Timothy Y. Chow
• CfP: NLA'20 Deadline Extended   Roussanka Loukanova
• FOM Digest, Vol 205, Issue 50: Tim Chow on Bivalence and Unknowability   Alan Weir
• Tim Chow on Bivalence and Unknowability   Dennis E. Hamilton
• [FOM] FOM Digest, Vol 205, Issue 50: Tim Chow on Bivalence and Unknowability   Timothy Y. Chow
• [FOM] Computer Scientists visa vie Mathematicians - "constructors"   Dennis E. Hamilton
• Practical Bivalence   Harvey Friedman
• Celebrating Jan Krajicek's 60th Anniversary and his Contributions to Logic and Complexity   Igor Carboni Oliveira
• [FOM] Computer Scientists visa vie Mathematicians - "constructors"   Dennis E. Hamilton
• FOM Digest, Vol 205, Issue 50: Tim Chow on Bivalence and Unknowability   Alan Weir
• What are the alternatives?   Joe Shipman
• [FOM] FOM Digest, Vol 205, Issue 50: Tim Chow on Bivalence and Unknowability   Timothy Y. Chow
• FUN 2020: Final Call for Papers   Mosteiro, Miguel A.

Last message date: Thu Jan 30 19:47:08 EST 2020
Archived on: Fri Jan 31 11:42:04 EST 2020

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