February 2020 Archives by thread

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

Starting: Sun Feb 2 20:13:12 EST 2020
Ending: Sat Feb 29 13:10:38 EST 2020
Messages: 71

• The most powerful language for mathematics according to M. Gromov   José Manuel Rodríguez Caballero
  • The most powerful language for mathematics according to M. Gromov   katzmik at macs.biu.ac.il
    • The most powerful language for mathematics according to M. Gromov   Louis H Kauffman
      • The most powerful language for mathematics according to M. Gromov   José Manuel Rodriguez Caballero
      • The most powerful language for mathematics according to M. Gromov   Patrik Eklund
      • The most powerful language for mathematics according to M. Gromov   Patrik Eklund
      • 842: Gromov's "most powerful language" and set theory   Harvey Friedman
      • 842: Gromov's "most powerful language" and set theory   Joe Shipman
      • 842: Gromov's "most powerful language" and set theory   José Manuel Rodríguez Caballero
  • The most powerful language for mathematics according to M. Gromov   José Manuel Rodríguez Caballero
• Fwd: Advances in Modal Logic 2020: second call for papers   Martin Davis
• MIP*=RE and hypercomputation   Dmytro Taranovsky
• Caleidoscope Complexity School: Call for Participation   Thomas Seiller
• Udine Workshop on Singular Cardinals   Alberto Marcone
• BCTCS & AlgoUK 2020 Final announcement and call for contributed talks   Berger U.
• Bennett on Spectra and EPRR   Cas Barla
• 27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers   Ruy de Queiroz
• Anne Troelstra Memorial Event, Amsterdam (The Netherlands), 6 Mar 2020   Bahareh Afshari
• 4-year PhD position   Georg Moser
• exponential time arithmetic   martdowd at aol.com
• 3rd CfP: NETREASON Workshop at ECAI2020   gprimiero at libero.it
  • Deadline Extension and Extended Abstracts for NETREASON Workshop at ECAI2020   gprimiero at libero.it
• Logic Colloquium 2020   Leszek Kołodziejczyk
• Call for Participation: Workshop "Proofs, Computation and Meaning", 20-21 March, Tübingen (Germany).   Paolo Pistone
• Fwd: 27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers   Martin Davis
• CFP: CICM 2020 --- 13th Conference on Intelligent Computer Mathematics Inbox   Christoph Benzmueller
• CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)   Mihaela Rozman
• CFP: Abstractionism 2 conference, UConn   Rossberg, Marcus
• LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts   Mihaela Rozman
• Logic/syntax versus arithmetic   Timothy Y. Chow
  • Logic/syntax versus arithmetic   Mikhail Katz
    • Logic/syntax versus arithmetic   Timothy Y. Chow
    • VS: Logic/syntax versus arithmetic   Timothy Y. Chow
  • Logic/syntax versus arithmetic   Alan Weir
  • Logic/syntax versus arithmetic   Sam Sanders
• SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)   Mihaela Rozman
• CFP DaLí 2020   Igor Sedlar
• the notion of generic in set theory   José Manuel Rodríguez Caballero
  • the notion of generic in set theory   Joe Shipman
• Quanta Magazine "Map of Mathematics" missing foundations.   Annatala Wolf
  • Quanta Magazine "Map of Mathematics" missing foundations.   Joe Shipman
    • Quanta Magazine "Map of Mathematics" missing foundations.   Annatala Wolf
  • Quanta Magazine "Map of Mathematics" missing foundations.   Pedro Sánchez Terraf
• How small can a foundation be?   Joe Shipman
  • How small can a foundation be?   katzmik at macs.biu.ac.il
    • How small can a foundation be?   Joe Shipman
• What is a “non-constructive proof”?   Joe Shipman
• Logic/syntax versus arithmetic (Timothy Y. Chow)   Alan Weir
• Fifteenth International Conference on Computability, Complexity and Randomness (CCR 2020)   Verónica Becher
• What is a "non-constructive proof?"   Dutle, Aaron M. (LARC-D320)
• [FOM] What is a "non-constructive proof"?   Timothy Y. Chow
  • [FOM] What is a "non-constructive proof"?   Joe Shipman
    • [FOM] What is a "non-constructive proof"?   Timothy Y. Chow
• CfP: AAL 2020 // Australasian Association for Logic   Nicholas Smith
• [FOM] Logic/syntax versus arithmetic   Timothy Y. Chow
  • [FOM] Logic/syntax versus arithmetic   Timothy Y. Chow
  • [FOM] Logic/Syntax versus Arithmetic   Timothy Y. Chow
    • [FOM] Logic/Syntax versus Arithmetic   katzmik at macs.biu.ac.il
  • [FOM] Logic/syntax versus arithmetic   Timothy Y. Chow
• What is a ?non-constructive proof??   José Manuel Rodríguez Caballero
  • What is a ?non-constructive proof??   Joe Shipman
• provability of P=NP   martdowd at aol.com
• Extended deadline: Applications for full grants at SPLogic (CLE/Unicamp, Brazil)   Walter Carnielli
• Call for Contributions to ICALP/LiCS Workshop on Decidable Fragments of First-order Modal Logic   Yanjing Wang
• Re Logic/Syntax versus Arithmetic   Alan Weir
• CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning   Claudio Sacerdoti Coen
• Re Logic/Syntax versus Arithmetic.   Alan Weir
• Automated Deduction in Geometry - ADG 2020   Predrag Janicic
• nominalism bis   Mikhail Katz
• 5th autumn school "Proof and Computation"   Chuangjie Xu
• von Neumann entropy in simple type theory   José Manuel Rodríguez Caballero

Last message date: Sat Feb 29 13:10:38 EST 2020
Archived on: Sun Mar 1 00:08:17 EST 2020

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