January 2020 Archives by thread
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)
David Ross
- [FOM] CfP: NLA'20 Special Session at DCAI'20
Roussanka Loukanova
- [FOM] Artin-Schreier for Q, without choice?
Timothy Y. Chow
- [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] Improving Set Theory
Harvey Friedman
- [FOM] 838: New Tangible Incompleteness/1
Harvey Friedman
- [FOM] 839: New Tangible Incompleteness/2
Harvey Friedman
- [FOM] LATD 2020: Call for Papers
Tommaso Moraschini
- [FOM] January 14, 2020 - World Logic Day - UNESCO
jean-yves beziau
- [FOM] Errors discovered as a result of formalization
Timothy Y. Chow
- [FOM] 840: New Tangible Incompleteness/3
Harvey Friedman
- [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] CL 2020: first announcement
Cenzer,Douglas A
- [FOM] 841: New Tangible Incompleteness/4
Harvey Friedman
- [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] quantum supremacy: unproved mathematical assumptions
José Manuel Rodríguez Caballero
- [FOM] 2nd CFP Logica 2020
Igor Sedlar
- [FOM] AUTOMATA 2020 - Announcement and call for papers and contributed talks
Hector Zenil
- [FOM] CCR 2020 and LCD 2020 -- Cambridge and Leeds, UK -- June/July 2020
Paul Shafer
- [FOM] 2nd CfP: NETREASON Workshop at ECAI2020
gprimiero at libero.it
- [FOM] Remainder: Two faculty positions in logical foundations of maths or computer science, Wuhan (China), Deadline: 9 Feb 2020
Windows Live 2018
- [FOM] On lengths of proofs
Joe Shipman
- [FOM] CFP: Abstractionism 2 conference, UConn
Rossberg, Marcus
- [FOM] Definable well-orderings
Joe Shipman
- [FOM] Computer Scientists visa vie Mathematicians
Dennis E. Hamilton
- Cognitive biases in the proof of Cook's theorem?
Cas Barla
- [FOM] Cognitive biases in the proof of Cook's theorem?
Timothy Y. Chow
- Thoughts on CH
Joe Shipman
- The Kolakoski challenge
José Manuel Rodriguez Caballero
- 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
- What are the alternatives?
Joe Shipman
- 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
This archive was generated by
Pipermail 0.09 (Mailman edition).