October 2015 Archives by date
Starting: Thu Oct 1 03:29:05 EDT 2015
Ending: Sat Oct 31 20:12:06 EDT 2015
Messages: 118
- [FOM] an interesting article in Notices of American Mathematical Society
Frédéric Blanqui
- [FOM] Mizar's type system
Anthony Coulter
- [FOM] Mizar's type system
Freek Wiedijk
- [FOM] an interesting article in Notices of American Mathematical Society
André Platzer
- [FOM] 622: Adventures in Formalization 6
Larry Paulson
- [FOM] 628: Optimal Function Theory 7
Harvey Friedman
- [FOM] Mizar's type system
Anthony Coulter
- [FOM] 629: Boolean Algebra/Simplicity
Harvey Friedman
- [FOM] Mizar's type system
Artur Kornilowicz
- [FOM] 630: Optimal Function Theory 8
Harvey Friedman
- [FOM] 629: Boolean Algebra/Simplicity
Matthew Szudzik
- [FOM] 629: Boolean Algebra/Simplicity
Harvey Friedman
- [FOM] 629: Boolean Algebra/Simplicity
Matthew Szudzik
- [FOM] three variables are needed for defining BA
Istvan Nemeti
- [FOM] 629: Boolean Algebra/Simplicity
Harvey Friedman
- [FOM] Mizar's type system
Josef Urban
- [FOM] 629: Boolean Algebra/Simplicity
Akshay R
- [FOM] Mizar's type system
Freek Wiedijk
- [FOM] 622: Adventures in Formalization 6
Freek Wiedijk
- [FOM] What is the logical complexity of Schanuel's conjecture?
Joe Shipman
- [FOM] 631: Order Theoretic Optimization 1
Harvey Friedman
- [FOM] 622: Adventures in Formalization 6
Larry Paulson
- [FOM] Aldo Antonelli (1962 -- 2015)
Curtis Franks
- [FOM] BOOK: Tartaglia’s Science of Weights and Mechanics in the Sixteenth Century
pisanoraffaele at iol.it
- [FOM] Reminder: Frontiers of Non-Classicality (call for papers)
Maarten McKubre-Jordens
- [FOM] logical complexity of mathematical statements
Harvey Friedman
- [FOM] 622: Adventures in Formalization 6
Arnon Avron
- [FOM] 622: Adventures in Formalization 6
Adam Naumowicz
- [FOM] logical complexity of mathematical statements
Timothy Y. Chow
- [FOM] Boolean algebra/ Simplicity
Dana Scott
- [FOM] 632: Rigorous Formalization of Mathematics 1
Harvey Friedman
- [FOM] APMP 3rd meeting, registration closing date
Jessica Carter
- [FOM] logical complexity of mathematical statements
Harvey Friedman
- [FOM] Boolean algebra/ Simplicity
Harvey Friedman
- [FOM] logical complexity of mathematical statements
joeshipman at aol.com
- [FOM] Adventures in Formalization 6
Paul Blain Levy
- [FOM] logical complexity of mathematical statements
Timothy Y. Chow
- [FOM] Question on Decidability of S2S
Dmytro Taranovsky
- [FOM] Official Notice Regarding Death of Aldo Antonelli
Richard Heck
- [FOM] Adventures in Formalization 6
Freek Wiedijk
- [FOM] CMCS 2016 : Second Call for Papers
fabio.zanasi at ens-lyon.fr
- [FOM] Question on Decidability of S2S (reply to Taranovsky)
Leszek Kolodziejczyk
- [FOM] FOM Digest, Vol 154, Issue 15
Paul Blain Levy
- [FOM] 633: Constrained Function Theory 1
Harvey Friedman
- [FOM] [FoM} Soft and hard routes to infinitesimals
Mikhail Katz
- [FOM] Adventures in Formalization 6 (reply to Paul Levy)
Mario Carneiro
- [FOM] Question on Decidability of S2S
Dmytro Taranovsky
- [FOM] Question on Decidability of S2S
Leszek Kolodziejczyk
- [FOM] Question on Decidability of S2S
Harvey Friedman
- [FOM] Standardization of sets, sorts, and free logic
Anthony Coulter
- [FOM] 634: Fixed Point Minimization 1
Harvey Friedman
- [FOM] Standardization of sets, sorts, and free logic
Freek Wiedijk
- [FOM] Standardization of sets, sorts, and free logic
Anthony Coulter
- [FOM] 635: Fixed Point Minimization 2
Harvey Friedman
- [FOM] 636: Fixed Point Minimization 3
Harvey Friedman
- [FOM] Fwd: logical complexity of Schanuel's Conjecture
Dave Marker
- [FOM] Standardization of sets, sorts, and free logic
Dustin Wehr
- [FOM] free logic
Harvey Friedman
- [FOM] Standardization of sets, sorts, and free logic
Anthony Coulter
- [FOM] logical complexity of Schanuel's Conjecture
Dave Marker
- [FOM] free logic
Anthony Coulter
- [FOM] Free logic
Tennant, Neil
- [FOM] FW: 7ECM2016 - Call for Abstracts - Mini-Symposia
Kreinovich, Vladik
- [FOM] Fwd: Computability, Complexity and Randomness (CCR 2016)
Martin Davis
- [FOM] Notations in mathematical practice
Arnon Avron
- [FOM] The Open Logic Project
Richard Zach
- [FOM] Notations in mathematical practice
Harvey Friedman
- [FOM] Notations in mathematical practic
Timothy Y. Chow
- [FOM] free logic
William Farmer
- [FOM] 637: Progress in Pi01 Incompleteness 1
Harvey Friedman
- [FOM] free logic
Mitchell Spector
- [FOM] 638: Rigorous Formalization of Mathematics 2
Harvey Friedman
- [FOM] free logic
Mario Carneiro
- [FOM] free logic
Harvey Friedman
- [FOM] free logic
Mitchell Spector
- [FOM] Notations in mathematical practice
Arnold Neumaier
- [FOM] free logic
Lawrence Paulson
- [FOM] The computational content of Nonstandard Analysis
Sam Sanders
- [FOM] Regarding strictness
Anthony Coulter
- [FOM] Regarding bound variables
Anthony Coulter
- [FOM] free logic
Rob Arthan
- [FOM] free logic
Harvey Friedman
- [FOM] Additional expressiveness of free logic
Anthony Coulter
- [FOM] On definitions of terms, and free logic
Tennant, Neil
- [FOM] On definitions of terms, and free logic---a quick follow-up
Tennant, Neil
- [FOM] free logic
William Farmer
- [FOM] registration: 7th French Philosophy of Mathematics Workshop (FPMW7)
Andrew Arana
- [FOM] 622: Adventures in Formalization 6
Mitchell Spector
- [FOM] free logic
Joe Shipman
- [FOM] Additional expressiveness of free logic
Mario Carneiro
- [FOM] 622: Adventures in Formalization 6
joeshipman at aol.com
- [FOM] On definitions of terms, and free logic---a quick follow-up
Harvey Friedman
- [FOM] Additional expressiveness of free logic
Harvey Friedman
- [FOM] 639: Progress in Pi01 Incompleteness 2
Harvey Friedman
- [FOM] free logic
Harvey Friedman
- [FOM] On definitions of terms, and free logic---a quick follow-up
Tennant, Neil
- [FOM] 622: Adventures in Formalization 6
Hendrik Boom
- [FOM] 622: Adventures in Formalization 6
Mitchell Spector
- [FOM] free logic
Rob Arthan
- [FOM] Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th
Andrei Popescu
- [FOM] 622: Adventures in Formalization 6
Freek Wiedijk
- [FOM] LFCS registration open, student support available
Robert Lubarsky
- [FOM] Additional expressiveness of free logic
Lawrence Paulson
- [FOM] WoLLIC 2016 - Call for Papers
Ruy de Queiroz
- [FOM] Fwd: [blc] Barry Cooper, 1943--2015
Sara L. Uckelman
- [FOM] Additional expressiveness of free logic
Anthony Coulter
- [FOM] Free Logic
Dana Scott
- [FOM] 622: Adventures in Formalization 6
John Baldwin
- [FOM] 622: Adventures in Formalization 6
John Baldwin
- [FOM] Notations in mathematical practice
A. Mani
- [FOM] Notations in mathematical practice
Arnon Avron
- [FOM] Additional expressiveness of free logic
Mario Carneiro
- [FOM] Columbia & IHPST Workshop - Reconciling Nominalism and Platonism in the Philosophy of Mathematics - Paris, November 27-28, 2015
Andrea Sereni
- [FOM] Papers on Free Logic
Dana Scott
- [FOM] 622: Adventures in Formalization 6
Freek Wiedijk
- [FOM] 640: Progress in Pi01 Incompleteness 3
Harvey Friedman
- [FOM] 622: Adventures in Formalization 6
John Baldwin
- [FOM] 641: Progress in Pi01 Incompleteness 4
Harvey Friedman
Last message date:
Sat Oct 31 20:12:06 EDT 2015
Archived on: Sat Oct 31 22:20:43 EDT 2015
This archive was generated by
Pipermail 0.09 (Mailman edition).