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