September 2018 Archives by thread

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

Starting: Sat Sep 1 14:01:16 EDT 2018
Ending: Sun Sep 30 15:18:21 EDT 2018
Messages: 50

• [FOM] unintelligible proofs   José Manuel Rodriguez Caballero
• [FOM] "Mere" correctness of a proof   Timothy Y. Chow
  • [FOM] "Mere" correctness of a proof   José Manuel Rodriguez Caballero
    • [FOM] "Mere" correctness of a proof   Joe Shipman
    • [FOM] "Mere" correctness of a proof   Richard Kimberly Heck
      • [FOM] "Mere" correctness of a proof   José Manuel Rodriguez Caballero
  • [FOM] "Mere" correctness of a proof   Timothy Y. Chow
    • [FOM] "Mere" correctness of a proof   Franck Slama
    • [FOM] "Mere" correctness of a proof   Joe Shipman
      • [FOM] "Mere" correctness of a proof   Timothy Y. Chow
    • [FOM] "Mere" correctness of a proof   Miguel A. Lerma
• [FOM] Alain Connes' approach to Analysis   Timothy Y. Chow
  • [FOM] Alain Connes' approach to Analysis   Lawrence Paulson
  • [FOM] Alain Connes' approach to Analysis   José Manuel Rodriguez Caballero
    • [FOM] Answer to Friedman, Paulson, and Caballero   Sam Sanders
      • [FOM] Answer to Friedman, Paulson, and Caballero   Mikhail Katz
  • [FOM] Alain Connes' approach to Analysis   Mikhail Katz
    • [FOM] Alain Connes' approach to Analysis   Joe Shipman
  • [FOM] Alain Connes' approach to Analysis   José Manuel Rodriguez Caballero
  • [FOM] Alain Connes' approach to Analysis   José Manuel Rodriguez Caballero
  • [FOM] Alain Connes' approach to Analysis   Timothy Y. Chow
  • [FOM] Alain Connes' approach to Analysis   Martin Davis
• [FOM] Is Cardano's formula ultimately irrelevant nowadays? (remarks and corrections)   José Manuel Rodriguez Caballero
• [FOM] Fwd: Detlefsen Conference March 22-23 2019   Martin Davis
• [FOM] tu quoque argumentation   José Manuel Rodriguez Caballero
• [FOM] no information proofs   Harvey Friedman
• [FOM] DICE Special Issue in TCS -- 2nd Call for Papers   Martin Avanzini
• [FOM] Defining Cargo Cult Science in Mathematics   José Manuel Rodriguez Caballero
  • [FOM] Defining Cargo Cult Science in Mathematics   Sam Sanders
    • [FOM] Defining Cargo Cult Science in Mathematics   Lawrence Paulson
• [FOM] Fwd: 13th International Workshop on the Implementation of Logics   Martin Davis
• [FOM] Defining Cargo Cult Science in Mathematics (Sam Sanders   José Manuel Rodriguez Caballero
• [FOM] Call for Papers: Postproceedings for ThEdu'18 by EPTCS   Achim D. Brucker
• [FOM] quantum foundations of mathematics   José Manuel Rodriguez Caballero
  • [FOM] quantum foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] PA inconsistencies   Thomas Klimpel
• [FOM] Call for Contribution to the Book ''Research Trends in Contemporary Logic''   Ali Sadegh Daghighi
• [FOM] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science   Mihaela Rozman
• [FOM] An Error in Tarski?   Richard Kimberly Heck
  • [FOM] An Error in Tarski?   Marion, Mathieu
• [FOM] Hot Summer Paraconsistent Newsletter 2018   jean-yves beziau
• [FOM] PhD position in ERC Project “The Roots of Mathematical Structuralism“, University of Vienna   John Wigglesworth
• [FOM] the notion of "effectively complete"   Rupert McCallum
  • [FOM] the notion of "effectively complete"   Dmytro Taranovsky
• [FOM] Square of Opposition, Crete, November 1-5, 2018   jean-yves beziau
• [FOM] Fwd: LPAR-22 in Ethiopia - Call for Short Papers   Martin Davis
• [FOM] Foundational Status of a proof of the Cayley-Hamilton theorem   joeshipman at aol.com
• [FOM] CiE 2019: 1st CfP   gprimiero at libero.it
• [FOM] Are there some more pure type system checkers available?   Askar Safin
• [FOM] Constructive Arithmetical Truth   Dmytro Taranovsky

Last message date: Sun Sep 30 15:18:21 EDT 2018
Archived on: Sun Sep 30 16:26:34 EDT 2018

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