March 1999 Archives by thread

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

Starting: Mon Mar 1 06:55:20 EDT 1999
Ending: Wed Mar 31 22:00:14 EDT 1999
Messages: 275

FOM: second-order logic is a myth Charles Silver
FOM: Visual proofs -- two examples Moshe' Machover
- FOM: Visual proofs -- two examples Joe Shipman
  - FOM: Visual proofs -- two examples Charles Silver
  - FOM: Visual proofs -- two examples Moshe' Machover
    - FOM: Visual proofs -- two examples (Reply to Machover) Joe Shipman
    - FOM: Visual proofs response to Shipman Moshe' Machover
FOM: re. mathematical induction Michael Detlefsen
- FOM: re. mathematical induction William Tait
  - FOM: re. mathematical induction Charles Parsons
FOM: Visual Proofs: Reply to Silver and Hayes Joe Shipman
- FOM: Re: Visual Proofs: Reply to Silver and Hayes Charles Silver
  - FOM: Re: Visual Proofs: Reply to Silver and Hayes Joe Shipman
- FOM: Re: Visual Proofs: Reply to Silver and Hayes Pat Hayes
  - FOM: Final reply to Hayes on proofs Joe Shipman
FOM: geometrical reasoning Jerry Seligman
FOM: mathematical induction Stephen G Simpson
reply to Friedman FOM: new inductions unimportant Colin McLarty
- reply to Friedman FOM: new inductions unimportant William Tait
FOM: wider cultural significance, part 1 Stephen G Simpson
- FOM: wider cultural significance, part 1 Josh Kortbein
FOM: wider cultural significance, part 1 Martin Davis
FOM: wider cultural significance, part 2 Stephen G Simpson
FOM: second-order logic is a myth Charles Silver
FOM: Wider cultural significance Joe Shipman
FOM: Geometric Reasoning Walter Whiteley
FOM: Re: Diagrams: Re: Geometric Reasoning Pat Hayes
FOM: Reply to Hayes on proofs Joe Shipman
FOM: second-order logic is a myth Robert Black
- FOM: second-order logic is a myth Stephen G Simpson
  - FOM: second-order logic is a myth Pat Hayes
    - FOM: second-order logic is a myth Stephen G Simpson
reply to Friedman FOM: new inductions unimportant Kanovei
FOM: Induction illogical? Schalekamp, Hendrik J.
FOM: postmodernism, etc. Michael Detlefsen
FOM: second-order logic is a myth Schalekamp, Hendrik J.
Tait on reply to Friedman FOM: new inductions unimportant Colin McLarty
FOM: 32:Greedy Constructions/Large Cardinals Harvey Friedman
FOM: confusion Harvey Friedman
FOM: Re: reply to Kanovei Colin McLarty
No subject john.kadvany at us.pwcglobal.com
FOM: Reply to Hayes on proofs Kanovei
FOM: Re: reply to Kanovei Kanovei
FOM: Re: Proofs Pat Hayes
FOM: wider cultural significance, part 1 (skepticism) Stephen G Simpson
FOM: wider cultural significance, part 1 Raatikainen Panu A K
FOM: confusion, reply to Friedman Colin McLarty
- FOM: it's provable Harvey Friedman
FOM: wider cultural significance, part 1 (postmodernism) Stephen G Simpson
- FOM: Polylogism Edwin Mares
FOM: second-order logic is a myth Stephen G Simpson
- FOM: second-order logic is a myth Pat Hayes
FOM: Marx Robert Black
FOM: wider cultural significance, part 1 (postmodernism) Martin Davis
- FOM: wider cultural significance, part 1 (postmodernism) gerald westerby, honourable schoolboy
FOM: questions to Friedman Colin McLarty
- FOM: reply to McLarty Harvey Friedman
FOM: modeling PRA in the physical world Stephen G Simpson
- FOM: modeling PRA in the physical world Vladimir Sazonov
  - FOM: modeling PRA in the physical world Stephen G Simpson
FOM: revised assessment of mathematical undecidability Stephen G Simpson
FOM: modeling PRA in the physical world Neil Tennant
FOM: finitely axiomatized fragments of ZFC, etc. john l. bell
FOM: second-order logic is a myth Robert Black
- FOM: second-order logic is a myth Stephen G Simpson
  - FOM: second-order logic is a myth Charles Silver
    - FOM: second-order logic is a myth Robert Black
    - FOM: second-order logic is a myth Stephen G Simpson
    - FOM: second-order logic is a myth Robert Black
    - FOM: second-order logic is a myth Pat Hayes
    - FOM: second-order logic is a myth Charles Silver
    - FOM: second-order logic is a myth Tim Heap
    - FOM: Geese and Cheerios Cristian Cocos
  - FOM: second-order logic is a myth Robert Black
    - FOM: second-order logic is a myth Stephen G Simpson
FOM: 33:A Variant Harvey Friedman
FOM: proletarian logic Kanovei
FOM: Marx' polylogism Michael Detlefsen
- FOM: wider cultural significance: polylogism Stephen G Simpson
  - FOM: wider cultural significance: polylogism palma, ap GERSHOM
  - FOM: wider cultural significance: polylogism Vladimir Sazonov
    - FOM: wider cultural significance: polylogism Stephen G Simpson
    - FOM: wider cultural significance: ethnomathematics John Baldwin
    - FOM: wider cultural significance: ethnomathematics Stephen G Simpson
  - FOM: wider cultural significance: polylogism Pat Hayes
FOM: wider cultural significance, part 1 (skepticism) john.kadvany at us.pwcglobal.com
FOM: Wider cultural significance Kishor A Kale
FOM: modeling PRA in the physical world john.kadvany at us.pwcglobal.com
FOM: unexplained provocative statements Harvey Friedman
FOM: Marx' polylogism Kanovei
FOM: Marx' polylogism Michael Detlefsen
FOM: Second order logic John Mayberry
FOM: Thanks to Friedman et al. Colin McLarty
Finitist prejudices Joe Shipman
FOM: unexplained provocative statements john.kadvany at us.pwcglobal.com
Intuition, Logic, and Induction. Alexander Zenkin
- FOM: Intuition, Logic, and Induction. Charles Silver
34:Walks in N^k Harvey Friedman
FOM: unexplained provocative statements Martin Davis
FOM: modeling PRA in the physical world Martin Davis
FOM: unexplained provocative statements john.kadvany at us.pwcglobal.com
second-order logic Robert Black
finitist prejudices Stephen G Simpson
Finitist prejudices and ontological commitment Joe Shipman
- FOM: Finitist prejudices and ontological commitment Pat Hayes
reply to Kadvany Stephen G Simpson
A Model for New Foundations! Mika Oksanen
FOM: Second order logic John Mayberry
FOM: NF Thomas Forster
FOM: Finitist prejudices -- reply to Simpson Joe Shipman
- FOM: finitist prejudices Stephen G Simpson
FOM: Intuition, Logic, and Induction. Charles Silver
- FOM: Intuition, Logic, and Induction. Alexander Zenkin
FOM: Intuition, Logic, and Induction. Charles Silver
FOM: Herbrand-Godel, speed-up: request for information dubucs
FOM: polylogic, answer to Kanovei 4/3/99 Prof. Antonino Drago
FOM: polylogic: three points Prof. Antonino Drago
FOM: Re: A Model for New Foundations! Mika Oksanen
FOM: Finitist prejudices and ontological commitment -- Reply to Simpson and Hayes JoeShipman at aol.com
- FOM: modeling PRA in the physical world Stephen G Simpson
FOM: modeling PRA in the physical world Raatikainen Panu A K
FOM: Second order logic John Mayberry
- FOM: second-order logic is a myth Stephen G Simpson
  - FOM: second-order logic is a myth Pat Hayes
  - FOM: second-order logic is a myth Cristian Cocos
FOM: reoly to Neil Tennant John Mayberry
FOM: software problems Stephen G Simpson
FOM: test message, please ignore Jeff Minelli
FOM: second-order logic is a myth Stephen G Simpson
- FOM: second-order logic is a myth Robert Black
  - FOM: second-order logic is a myth Stephen G Simpson
FOM: test message, please ignore Stephen G Simpson
FOM: software problems; missed postings Stephen G Simpson
FOM: Second order logic John Mayberry
- FOM: second-order logic is a myth Stephen G Simpson
FOM: L.Kronecker and G.Cantor Alexander Zenkin
FOM: modeling PRA in the physical world Schalekamp, Hendrik J.
FOM: Re: [FOM] L.Kronecker and G.Cantor William Tait
FOM: Reasoning in second-order logic -- two queries Joe Shipman
FOM: Re: modeling PRA in the physical world Michael Thayer
FOM: question about the axiom of choice Stephen G Simpson
FOM: Cantor and Kronecker William Tait
FOM: modeling PRA in the physical world Raatikainen Panu A K
- FOM: modeling PRA in the physical world Stephen G Simpson
FOM: L.Kronecker and G.Cantor Michael Detlefsen
FOM: Cantor and Kronecker Neil Tennant
FOM: second-order logic is a myth Randall Holmes
FOM: second-order logic is a myth Randall Holmes
FOM: Second order logic Robert Black
- FOM: second-order logic is a myth Stephen G Simpson
  - FOM: Question about Johns Hopkins publication about 1885 Walter Felscher
  - FOM: second-order logic is a myth Pat Hayes
    - FOM: second-order logic Stephen G Simpson
    - FOM: second-order logic is a myth Charles Silver
- FOM: Second order logic Martin Schlottmann
FOM: Cantor and Kronecker William Tait
FOM: Geometrical and Numerical Continuum. Luigi Borzacchini
FOM: second-order logic is a myth Randall Holmes
FOM: Geometrical and Numerical Continuum. Colin McLarty
FOM: Second-order validities Joe Shipman
FOM: 35:Special AE Sentences Harvey Friedman
FOM: Lowenheim numbers John Mayberry
FOM: Second order logic John Mayberry
FOM: Henkin semantics John Mayberry
FOM: second-order logic is a myth Randall Holmes
- FOM: second-order logic is a myth Kevin Davey
FOM: Foundations without foundationalism Stewart Shapiro
- FOM: anti-foundationalism Stephen G Simpson
FOM: Question about Johns Hopkins publication H. Enderton
FOM: second-order logic is a myth -- also, informal versus formal reasoning Randall Holmes
- FOM: formalization of mathematics Stephen G Simpson
FOM: informal versus formal reasoning Randall Holmes
FOM: con ZFC Kanovei
FOM: con ZFC Randall Holmes
FOM: second-order logic is a myth Pat Hayes
FOM: Axiomatization of the reals Till Mossakowski
FOM: wider cultural significance: polylogism Stephen G Simpson
FOM: The consistency of ZF John Mayberry
FOM: Why HOL is stronger than FOL Till Mossakowski
FOM: 35':Restatement Harvey Friedman
FOM: wider cultural significance: polylogism Michael Zeleny
- FOM: wider cultural significance: polylogism Stephen G Simpson
FOM: General Intellectual Interest JoeShipman at aol.com
- FOM: General Intellectual Interest Pat Hayes
  - FOM: General Intellectual Interest Harvey Friedman
    - FOM: General Intellectual Interest Pat Hayes
    - FOM: General Intellectual Interest Harvey Friedman
    - FOM: General Intellectual Interest Pat Hayes
    - FOM: General Intellectual Interest Harvey Friedman
    - FOM: General Intellectual Interest Pat Hayes
    - FOM: General Intellectual Interest Harvey Friedman
    - FOM: General Intellectual Interest Jerry Seligman
FOM: Re: General Intellectual Interest Michael Thayer
FOM: HOL is not stronger than FOL Vedasystem at aol.com
FOM: THE INFINITY: TRAGIC MISTAKE OF GREAT G.CANTOR. Alexander Zenkin
- FOM: THE INFINITY: TRAGIC MISTAKE OF GREAT G.CANTOR. Walter Felscher
FOM: sterility? Randall Holmes
- FOM: second-order logic is a sterile myth Stephen G Simpson
  - FOM: second-order logic is a sterile myth Charles Silver
  - FOM: second-order logic is a sterile myth Pat Hayes
    - FOM: second-order logic is a sterile myth Stephen G Simpson
- FOM: sterility? Vladimir Sazonov
FOM: 36:Adjacent Ramsey Theory Harvey Friedman
FOM: sterility? Kanovei
FOM: technical questions on second-order logic Stephen G Simpson
FOM: Second-order logic -- exchange with Simpson Joe Shipman
FOM: Sterility John Mayberry
- FOM: second-order logic is a sterile myth Stephen G Simpson
  - FOM: second-order logic is a sterile myth Pat Hayes
FOM: sterility? Randall Holmes
- FOM: sterility? Harvey Friedman
- FOM: sterility? Charles Silver
FOM: corresponding? Randall Holmes
FOM: Friedman and Mayberry: beyond sterility Colin McLarty
FOM: denunciation of formalized mathematics? Randall Holmes
- FOM: formalization of mathematics Stephen G Simpson
- FOM: formalization, first order, ZFC Harvey Friedman
FOM: sterility? Randall Holmes
FOM: sterility? Michael Zeleny
FOM: second-order logic lives... Randall Holmes
FOM: second-order logic lives... Vedasystem at aol.com
FOM: suggestion for new convention Neil Tennant
FOM: Ambiguating John Mayberry
- Standard Semantics is a Myth (Was: Re: FOM: Ambiguating) Martin Schlottmann
- FOM: second-order logic is a myth Stephen G Simpson
FOM: properties Randall Holmes
- FOM: properties Vladimir Sazonov
FOM: second order logic, reference of mathematical language Randall Holmes
FOM: "cannot be formalized at all" Randall Holmes
- FOM: second-order logic is biased Stephen G Simpson
FOM: serious disagreement? Harvey Friedman
FOM: for the record Randall Holmes
FOM: mantras; postmodernism and G"odel Stephen G Simpson
FOM: 37:Adjacent Ramsey Theory/more Harvey Friedman
FOM: properties Kanovei
FOM: methodology Harvey Friedman
FOM: properties Randall Holmes
FOM: properties Randall Holmes
FOM: second order logic not a myth and related issues Randall Holmes
- FOM: ZFC, NF(U), foundations Harvey Friedman
- FOM: second-order logic is biased; Bourbaki Stephen G Simpson
- FOM: second order logic not a myth and related issues Pat Hayes
FOM: NFU as foundations? Randall Holmes
FOM: General Intellectual Interest Martin Davis
- FOM: General Intellectual Interest Pat Hayes
FOM: 38:Existential Properties of Numerical Functions Harvey Friedman
FOM: The Foundational Exposition Project Harvey Friedman
FOM: Irritation John Mayberry
FOM: personal request Stewart Shapiro
- FOM: anti-foundationalism Stephen G Simpson
  - FOM: anti-foundationalism Stewart Shapiro
    - FOM: anti-foundationalism Pat Hayes
FOM: Strong Axioms of Infinity in NFU Joe Shipman
FOM: General Intellectual Interest Martin Davis
- FOM: more celebration Harvey Friedman
- FOM: General Intellectual Interest Josh Kortbein
FOM: wider cultural significance: misuse of G"odel's theorem Stephen G Simpson
- FOM: misuse of great advances Harvey Friedman
  - FOM: wider cultural significance: misuse of great advances Stephen G Simpson
FOM: expanded comments re NFU Randall Holmes
FOM: second-order logic is biased; Bourbaki Edwin Mares
FOM: foundations in NFU Randall Holmes
FOM: methodology: reply to Friedman, Holmes, Mayberry, Simpson Vladimir Sazonov
FOM: General Intellectual Interest Martin Davis
FOM: cylindric algebraic decompositions of R^n Jon Barwise
- FOM: cylindric algebraic decompositions of R^n Stephen G Simpson
FOM: Absolute truth John Mayberry
FOM: Alternatives to ZFC in actual use Joe Shipman
FOM: a correction holmes at catseye.idbsu.edu
FOM: THE INFINITY: TRAGIC MISTAKE OF GREAT G.CANTOR. Alexander Zenkin
FOM: Cylindrical Algebraic Decomposition Floris Geerts
FOM: the unbearable lightness of classical logic Neil Tennant
FOM: re: cylindric decomposition Dave Marker
FOM: anti-foundationalism Stephen G Simpson
FOM: comments on ZFC, NF and NFU Harvey Friedman

Last message date: Wed Mar 31 22:00:14 EDT 1999
Archived on: Fri Mar 11 12:48:25 EDT 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).