March 2022 Archives by thread

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

Starting: Tue Mar 1 17:13:37 EST 2022
Ending: Thu Mar 31 04:19:06 EDT 2022
Messages: 61

• NASA summer internships   Dutle, Aaron M. (LARC-D320)
• Regarding Deep Learning/NIM   Timothy Y. Chow
  • Regarding Deep Learning/NIM   José Manuel Rodríguez Caballero
• 6TH WORLD CONGRESS OF PARACONSISTENCY IN TORUŃ, POLAND   jean-yves beziau
• The consistency of NF in Lean? - MUCH FUN   Timothy Y. Chow
• PhD Position in Number Theory and Formalization   Andrei Popescu
• NIM/Order Invariant Games   Harvey Friedman
• 927: Order Invariant Games/1   Harvey Friedman
• CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022]   Daniel Ventura
• Fwd: LogTeach-22, First Call for Papers   Johann Makowsky
• New manuscripi on NP $\neq$ co=NP   martdowd at aol.com
  • New manuscripi on NP $\neq$ co=NP   Lew Gordeew
• The 2nd World Logic Prizes Contest at the Logica Universalis Webinar, March 9   jean-yves beziau
• 928: Order Invariant Games/2   Harvey Friedman
• UltraMath 2022   Lorenzo Luperi Baglini
• [FOM] New manuscripi on NP $\neq$ co=NP   Timothy Y. Chow
• the physicalization of metamathematics   Stephen Wolfram
  • the physicalization of metamathematics   Monroe Eskew
  • the physicalization of metamathematics   Harvey Friedman
• Crossley Logic Colloquium (14-15 June 2022, Virtual)   Guillermo Badia
• AITP 2022 - Call for Contributions   Josef Urban
• pspace $\neq$ EXP   martdowd at aol.com
• the physicalization of metamathematics (from thermodynamics to intuitionism)   José Manuel Rodríguez Caballero
• Does my NP $neq$ co-NP "proof" relativize?   martdowd at aol.com
• Open Position: Assistant Professor in Logic for AI (Fixed-term, three years), Milan   gprimiero at libero.it
• the physicalization of metamathematics (predictions)   José Manuel Rodríguez Caballero
  • Fwd: the physicalization of metamathematics (periodic vs aperiodic)   José Manuel Rodríguez Caballero
  • the physicalization of metamathematics (predictions)   Thomas Klimpel
• Question about automorphisms of ultrapowers   Noah Schweber
• Call for Participation: Non-Classical Logics. Theory and Applications X (hybrid)   Michał Zawidzki
• 3rd CFP --- CCA2022   Zheng, Xizhong
• Panentheism and Panpsychism: The Logic and Religion Webinar, March 17   FRANCISCO MARIANO
• CfA: HHU Summer School “Philosophy of Mathematics Beyond the Armchair?!”, Aug 22-26, 2022, in Düsseldorf, Germany   Deborah Kant
• Logica Universalis Webinar, March 16, Eunsuk Yang (joint work with Mike Dunn)   jean-yves beziau
• true randomness in mathematics   José Manuel Rodríguez Caballero
  • true randomness in mathematics   José Manuel Rodríguez Caballero
  • true randomness in mathematics   Thomas Klimpel
• Conference on Algorithmic Law Design and Implementation: Call for participation   Joost J. Joosten
• true randomness?   Harvey Friedman
  • true randomness?   Sam Sanders
• Deadline Reminder | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• Mt proof of NP $\neq ci-NP is wrong.   martdowd at aol.com
• Axiom of Choice/(ultra)filters   pax0 at seznam.cz
• foundational implications for the future of mathematics   José Manuel Rodríguez Caballero
• Deadlines Extended | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• true randomness? (finite vs infinite sequences)   José Manuel Rodríguez Caballero
  • true randomness? (finite vs infinite sequences)   Alex Galicki
• CFP: AAL Conference 2022, June 22-24, online, deadline May 15   Guillermo Badia
• models of "future of mathematics"?   Harvey Friedman
• 929: Physical Infinity/randomness   Harvey Friedman
• Permanent positions at University of Birmingham   Anupam das
• Nordic Online Logic Seminar: next talk on March 28 by Juliette Kennedy   Graham Leigh
• closing a thread   Martin Davis
• PhD student position on proof theory and verification of legal software, Barcelona   Joost J. Joosten
• The Logic Colloquium 2022   Antonios Achilleos
• CSL'23 -- Call for workshops   Bartek Klin
• Paraconsistent Newsletter Winter-Summer 2022   jean-yves beziau
• Logic Colloquium deadline extension   Antonios Achilleos
• PhDs in Logic XIII   Tommaso Moraschini
• Leeds Computability Days 2022 -- 30 May to 1 June 2022 -- Leeds, UK   Paul Shafer
• LOGICA 2022 -- 1st CFP   Igor Sedlar

Last message date: Thu Mar 31 04:19:06 EDT 2022
Archived on: Thu Mar 31 22:58:22 EDT 2022

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