September 2015 Archives by author

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

Starting: Tue Sep 1 00:49:41 EDT 2015
Ending: Wed Sep 30 23:35:13 EDT 2015
Messages: 236

• [FOM] The EFQ controversy   Peter Aczel
• [FOM] VCLA International Student Awards - Call for Nominations 2015   Bahareh Afshari
• [FOM] Abstract Cartesian Products   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Seventh French Philosophy of Mathematics Workshop (FPMW 7)   Andrew Arana
• [FOM] 618: Adventures in Formalization 4   Rob Arthan
• [FOM] 618: Adventures in Formalization 4   Rob Arthan
• [FOM] A question on Core Logic   Astor, Eric P.
• [FOM] Intuition, iteration, induction   Mark van Atten
• [FOM] Certified Programs and Proofs (CPP 2016)   Jeremy Avigad
• [FOM] EFQ and Tennant's consistency   Arnon Avron
• [FOM] The incomplete logic needed for mathematics   Arnon Avron
• [FOM] The incomplete logic needed for mathematics   Arnon Avron
• [FOM] EFQ and Tennant's consistency   Arnon Avron
• [FOM] 614: Adventures in Formalization 1 - a suggested framework   Arnon Avron
• [FOM] Valid rules versus valid formulas   Arnon Avron
• [FOM] Weak logic axioms   Arnon Avron
• [FOM] 605: Integer and Real Functions   John Baldwin
• [FOM] Computational Nonstandard Analysis   John Baldwin
• [FOM] 605: Integer and Real Functions   John Baldwin
• [FOM] 605: Integer and Real Functions   John Baldwin
• [FOM] Fwd: Forward of moderated message   John Baldwin
• [FOM] *CHANGES* and FINAL CFR: SoTFoM III and The Hyperuniverse Programme, Vienna, 21-23 September 2015.   Neil Barton
• [FOM] Weak logic axioms   Alex Blum
• [FOM] Weak logic axioms   Alex Blum
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Hendrik Boom
• [FOM] Apartness topology and (constructive) nonstandard analysis   Hendrik Boom
• [FOM] The unreasonable effectiveness of Nonstandard Analysis   Hendrik Boom
• [FOM] Apartness topology and (constructive) nonstandard analysis   Hendrik Boom
• [FOM] response to Harvey's posting on the reverse mathematics of Hindman's Theorem   AD Brooke-Taylor
• [FOM] Beautiful Formalization Project.   Merlin Carl
• [FOM] Use of Ex Falso Quodlibet (EFQ)   Mario Carneiro
• [FOM] Use of Ex Falso Quodlibet (EFQ)   Mario Carneiro
• [FOM] Fwd: A request   Mario Carneiro
• [FOM] Fwd: A request--Reply to Mario Carneiro   Mario Carneiro
• [FOM] From EFQ to Research   Mario Carneiro
• [FOM] Metamath Solitaire   Mario Carneiro
• [FOM] 618: Adventures in Formalization 4   Mario Carneiro
• [FOM] Weak logic axioms   Charlie
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Timothy Y. Chow
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Timothy Y. Chow
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)   Timothy Y. Chow
• [FOM] EFQ and Faithful Formalization   Timothy Y. Chow
• [FOM] Faithful Formalisation   Timothy Y. Chow
• [FOM] Absolute undecidability   Timothy Y. Chow
• [FOM] Absolute undecidability   Timothy Y. Chow
• [FOM] Adventures in Formalization   Timothy Y. Chow
• [FOM] Synthese article   S Barry Cooper
• [FOM] 618: Adventures in Formalization 4   Anthony Coulter
• [FOM] 618: Adventures in Formalization 4   Anthony Coulter
• [FOM] 618: Adventures in Formalization 4   Anthony Coulter
• [FOM] 618: Adventures in Formalization 4   Anthony Coulter
• [FOM] Post's paper on generalized gamma functions   Martin Davis
• [FOM] Fwd: Midwest PhilMath Workshop 16   Martin Davis
• [FOM] Mark Steiner"s post to follow   Martin Davis
• [FOM] Fwd: A request   Martin Davis
• [FOM] The very bearable EFQ   Martin Davis
• [FOM] The terrible EFQ: reply to Tenant   Martin Davis
• [FOM] The unbearable ghastliness of 0/0   Martin Davis
• [FOM] The very bearable EFQ   Martin Davis
• [FOM] Ending the thread on EFQ and core logic   Martin Davis
• [FOM] Fwd: International conference on topos theory   Martin Davis
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)   Michael Lee Finney
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)--reply to Michael Finney   Michael Lee Finney
• [FOM] Weak logic axioms   Michael Lee Finney
• [FOM] Weak logic axioms   Michael Lee Finney
• [FOM] Weak logic axioms   Michael Lee Finney
• [FOM] Weak logic axioms   Michael Lee Finney
• [FOM] Computational Nonstandard Analysis   Harvey Friedman
• [FOM] response to Harvey's posting on the reverse mathematics of Hindman's Theorem   Harvey Friedman
• [FOM] Use of ex falso quodlibet (EFQ)   Harvey Friedman
• [FOM] 608: Integer and Real Functions 2   Harvey Friedman
• [FOM] Concerning EFQ and Cut   Harvey Friedman
• [FOM] Computational Nonstandard Analysis   Harvey Friedman
• [FOM] Concerning EFQ and Cut   Harvey Friedman
• [FOM] Regarding my 1966 NSA Axioms   Harvey Friedman
• [FOM] Concerning EFQ and Cut   Harvey Friedman
• [FOM] Concerning EFQ and Cut   Harvey Friedman
• [FOM] Regarding Integer/Real Multiplication   Harvey Friedman
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Harvey Friedman
• [FOM] 609: Finite Continuation Theory 17   Harvey Friedman
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Harvey Friedman
• [FOM] 610: Function Continuation Theory 1   Harvey Friedman
• [FOM] 606: Simple Theory of Types   Harvey Friedman
• [FOM] The unbearable ghastliness of EFQ, and Tim Chow's focusing question   Harvey Friedman
• [FOM] 611: Function Emulation/Continuation Theory 2   Harvey Friedman
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)   Harvey Friedman
• [FOM] From EFQ to Research   Harvey Friedman
• [FOM] Apartness topology and (constructive) nonstandard analysis   Harvey Friedman
• [FOM] Absolute undecidability   Harvey Friedman
• [FOM] 612: Binary Operation Emulation and Continuation 1   Harvey Friedman
• [FOM] From EFQ to Research---reply to Harvey Friedman's questions 1-3   Harvey Friedman
• [FOM] The incomplete logic needed for mathematics   Harvey Friedman
• [FOM] From EFQ to Research 2   Harvey Friedman
• [FOM] From EFQ to Research 3   Harvey Friedman
• [FOM] From EFQ to Research 4/External Response 1   Harvey Friedman
• [FOM] Absolute undecidability   Harvey Friedman
• [FOM] From EFQ to Research 5   Harvey Friedman
• [FOM] The incomplete logic needed for mathematics   Harvey Friedman
• [FOM] 613: Optimal Function Theory 1   Harvey Friedman
• [FOM] NEGATION/CUT Inspired Research   Harvey Friedman
• [FOM] 614: Adventures in Formalization 1   Harvey Friedman
• [FOM] 615: Adventures in Formalization 2   Harvey Friedman
• [FOM] 616: Adventures in Formalization 3   Harvey Friedman
• [FOM] 617: Removing Connectives 1   Harvey Friedman
• [FOM] 618: Adventures in Formalization 4   Harvey Friedman
• [FOM] 619: Nonstandardism 1   Harvey Friedman
• [FOM] Replies to Sanders on Nonstandard Analysis 1   Harvey Friedman
• [FOM] 620: Nonstandardism 2   Harvey Friedman
• [FOM] 621: Adventures in Formalization 5   Harvey Friedman
• [FOM] 622: Adventures in Formalization 6   Harvey Friedman
• [FOM] 623: Optimal Function Theory 2   Harvey Friedman
• [FOM] 624: Optimal Function Theory 3   Harvey Friedman
• [FOM] 625: Optimal Function Theory 4   Harvey Friedman
• [FOM] 618: Adventures in Formalization 4   Harvey Friedman
• [FOM] Regarding PTIME reals   Harvey Friedman
• [FOM] 626: Optimal Function Theory 5   Harvey Friedman
• [FOM] bad typo in #626   Harvey Friedman
• [FOM] 627: Optimal Function Theory 6   Harvey Friedman
• [FOM] FOM/expanded discussion   Harvey Friedman
• [FOM] The unbearable ghastliness of EFQ, and Tim Chow's focusing question   Louis Garde
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Dennis E. Hamilton
• [FOM] Absolute undecidability   Arne Hole
• [FOM] Absolute undecidability   Arne Hole
• [FOM] Absolute undecidability   Arne Hole
• [FOM] Absolute undecidability   Arne Hole
• [FOM] 605: Integer and Real Functions   Kreinovich, Vladik
• [FOM] an interesting article in Notices of American Mathematical Society   Kreinovich, Vladik
• [FOM] response to Harvey's posting on the reverse mathematics of Hindman's Theorem   Kreuzer, Alexander Philipp Sim
• [FOM] Apartness topology and (constructive) nonstandard analysis   S. S. Kutateladze
• [FOM] Use of Ex Falso Quodlibet (EFQ)   Paul B Levy
• [FOM] Use of Ex Falso Quodlibet (EFQ)   Paul Blain Levy
• [FOM] professorship in Oslo open to mathematical logicians   Øystein Linnebo
• [FOM] The Role of the Higher Infinite in Mathematics and Other Disciplines, Cambridge (England), 14-18 Dec 2015   Benedikt Loewe
• [FOM] 605: Integer and Real Functions   George McNulty
• [FOM] 605: Integer and Real Functions   George McNulty
• [FOM] 614: Adventures in Formalization 1   Dominic Mulligan
• [FOM] 618: Adventures in Formalization 4   Dominic Mulligan
• [FOM] 618: Adventures in Formalization 4   Dominic Mulligan
• [FOM] invention of minimal logic   Sara Negri
• [FOM] The unreasonable effectiveness of Nonstandard Analysis   Grant Olney Passmore
• [FOM] Adventures in Formalization   Larry Paulson
• [FOM] 618: Adventures in Formalization 4   Larry Paulson
• [FOM] partial functions / undefined terms in machine proof   Larry Paulson
• [FOM] 622: Adventures in Formalization 6   Larry Paulson
• [FOM] 614: Adventures in Formalization 1   Andrei Popescu
• [FOM] Absolute undecidability   Panu Raatikainen
• [FOM] Logic, Algebra and Truth Degrees (LATD) 2016: First Announcement   James Raftery
• [FOM] Call for participation - Workshop on Logical Dialogue games   Christoph Roschger
• [FOM] Extended response to Friedman (Comp. NSA)   Sam Sanders
• [FOM] Computational Nonstandard Analysis   Sam Sanders
• [FOM] Regarding Friedman's 1966 NSA Axioms   Sam Sanders
• [FOM] Apartness topology and (constructive) nonstandard analysis   Sam Sanders
• [FOM] The unreasonable effectiveness of Nonstandard Analysis   Sam Sanders
• [FOM] Apartness topology and (constructive) nonstandard analysis   Sam Sanders
• [FOM] Apartness topology and (constructive) nonstandard analysis   Sam Sanders
• [FOM] Apartness topology and (constructive) nonstandard analysis   Sam Sanders
• [FOM] Harvey's Categorical Imperative and Nonstandard Analysis   Sam Sanders
• [FOM] 619: Nonstandardism 1   Sam Sanders
• [FOM] Adventures in Formalization (Scott)   Dana Scott
• [FOM] Adventures in Formalization (Avigad)   Dana Scott
• [FOM] Adventures in Formalization   Natarajan Shankar
• [FOM] Absolute undecidability   Joe Shipman
• [FOM] From EFQ to Research 5--reply to Harvey Friedman (typo corrected)   Joe Shipman
• [FOM] 618: Adventures in Formalization 4   Joe Shipman
• [FOM] 605: Integer and Real Functions   Mitchell Spector
• [FOM] 605: Integer and Real Functions   Mitchell Spector
• [FOM] 605: Integer and Real Functions   Mitchell Spector
• [FOM] (no subject)   Mark Steiner
• [FOM] 614: Adventures in Formalization 1   Jay Sulzberger
• [FOM] 605: Integer and Real Functions   WILLIAM TAIT
• [FOM] 605: Integer and Real Functions   WILLIAM TAIT
• [FOM] Tarski's Axiom of Inaccessibles   Gregory Taylor
• [FOM] Reply to Avron and Friedman on how to prove inclusion of the empty set, without using EFQ   Tennant, Neil
• [FOM] Use of ex falso quodlibet (EFQ)   Tennant, Neil
• [FOM] Concerning EFQ and Cut   Tennant, Neil
• [FOM] Concerning EFQ and Cut   Tennant, Neil
• [FOM] Use of Ex Falso Quodlibet (EFQ)   Tennant, Neil
• [FOM] Use of Ex Falso Quodlibet (EFQ)   Tennant, Neil
• [FOM] Concerning EFQ and Cut   Tennant, Neil
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Tennant, Neil
• [FOM] "The unbearable ghastliness of EFQ...": corrigendum   Tennant, Neil
• [FOM] Fwd: A request--Reply to Arnon Avron   Tennant, Neil
• [FOM] The still unbearable EFQ: Reply to Martin Davis   Tennant, Neil
• [FOM] Fwd: A request--Reply to Mario Carneiro   Tennant, Neil
• [FOM] A question on Core Logic--reply to Eric Astor   Tennant, Neil
• [FOM] The unbearable ghastliness of EFQ, and Tim Chow's focusing question   Tennant, Neil
• [FOM] The terrible EFQ: reply to Tenant--reply from Tennant   Tennant, Neil
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)---Reply to Timothy Chow   Tennant, Neil
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)--reply to Alan Weir   Tennant, Neil
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)--reply to Michael Finney   Tennant, Neil
• [FOM] From EFQ to Research---reply to Harvey Friedman's questions 1-3   Tennant, Neil
• [FOM] From EFQ to Research---reply to Harvey Friedman's questions 4-10   Tennant, Neil
• [FOM] Fwd: A request--2nd reply to Mario Carneiro   Tennant, Neil
• [FOM] EFQ and Faithful Formalization--reply to Alan Weir   Tennant, Neil
• [FOM] EFQ and Tennant's consistency--reply to Arnon Avron   Tennant, Neil
• [FOM] From EFQ to Research 2--reply to Harvey Friedman   Tennant, Neil
• [FOM] From EFQ to Research 3--reply to Harvey Friedman   Tennant, Neil
• [FOM] EFQ and Faithful Formalization--Reply to Alan Weir   Tennant, Neil
• [FOM] From EFQ to Research 3---further reply to Harvey Friedman   Tennant, Neil
• [FOM] Reply to Harvey Friedman's embedded letter from Avigad   Tennant, Neil
• [FOM] From EFQ to Research 5--reply to Harvey Friedman (typo corrected)   Tennant, Neil
• [FOM] FOM: Harvey's Categorical Imperative?   Tennant, Neil
• [FOM] response to Harvey's posting on the reverse mathematics of Hindman's Theorem   Henry Towsner
• [FOM] On 0^{-1}=0   John Tucker
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   Sara L. Uckelman
• [FOM] Special issue of Synthese on "History & Philosophy of Infinity"   Sara L. Uckelman
• [FOM] Apartness topology and (constructive) nonstandard analysis   Frank Waaldijk
• [FOM] Apartness topology and (constructive) nonstandard analysis   Frank Waaldijk
• [FOM] Apartness topology and (constructive) nonstandard analysis   Frank Waaldijk
• [FOM] Use of Ex Falso Quodlibet (EFQ) (or ECQ)   Alan Weir
• [FOM] EFQ and Faithful Formalization   Alan Weir
• [FOM] Faithful Formalisation   Alan Weir
• [FOM] EFQ and Faithful Formalization   Alan Weir
• [FOM] Adventures in Formalization   Freek Wiedijk
• [FOM] Beautiful Formalization Project.   Freek Wiedijk
• [FOM] 618: Adventures in Formalization 4   Freek Wiedijk
• [FOM] partial functions / undefined terms in machine proof   Freek Wiedijk
• [FOM] 622: Adventures in Formalization 6   Freek Wiedijk
• [FOM] Weak logic axioms   martdowd at aol.com
• [FOM] extended submission deadline for LFCS   lubarsky.robert at comcast.net
• [FOM] CMCS 2016 : First Call for Papers   fabio.zanasi at ens-lyon.fr
• [FOM] The unbearable ghastliness of 0/0   jbell
• [FOM] HaPOC3: Final Call for Participation   gprimiero at libero.it
• [FOM] Computational Nonstandard Analysis   katzmik at macs.biu.ac.il
• [FOM] The unbearable ghastliness of 0/0   katzmik at macs.biu.ac.il
• [FOM] Apartness topology and (constructive) nonstandard analysis   katzmik at macs.biu.ac.il
• [FOM] Apartness topology and (constructive) nonstandard analysis   katzmik at macs.biu.ac.il
• [FOM] Apartness topology and (constructive) nonstandard analysis   katzmik at macs.biu.ac.il
• [FOM] Apartness topology and (constructive) nonstandard analysis   katzmik at macs.biu.ac.il
• [FOM] 605: Integer and Real Functions   mlink at math.bu.edu
• [FOM] 605: Integer and Real Functions   W.Taylor at math.canterbury.ac.nz
• [FOM] Apartness topology and (constructive) nonstandard analysis   W.Taylor at math.canterbury.ac.nz
• [FOM] The unbearable ghastliness of EFQ, and sundry other matters arising from Harvey's last post   W.Taylor at math.canterbury.ac.nz
• [FOM] 605: Integer and Real Functions   W.Taylor at math.canterbury.ac.nz
• [FOM] 600: Removing Deep Pathology 1   W.Taylor at math.canterbury.ac.nz
• [FOM] 605: Integer and Real Functions   william tait

Last message date: Wed Sep 30 23:35:13 EDT 2015
Archived on: Thu Oct 1 19:51:02 EDT 2015

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