Re: Epistemology 201: The Science of Science

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 02/05/05

Next message: Oscar Lanzi III: "Re: volume optimization"
Previous message: Timothy Little: "Re: coin puzzle"
In reply to: Jesse F. Hughes: "Re: Epistemology 201: The Science of Science"
Next in thread: Jesse F. Hughes: "Re: Epistemology 201: The Science of Science"
Reply: Jesse F. Hughes: "Re: Epistemology 201: The Science of Science"
Messages sorted by: [ date ] [ thread ]

Date: 05 Feb 2005 23:04:54 +0100

"Jesse F. Hughes" <jesse@phiwumbda.org> writes:

> They're something like formal proofs. In fact, each informal proof in
> ordinary mathematics has a formal analogue in ZFC.

"Analogue" in what sense?

Next message: Oscar Lanzi III: "Re: volume optimization"
Previous message: Timothy Little: "Re: coin puzzle"
In reply to: Jesse F. Hughes: "Re: Epistemology 201: The Science of Science"
Next in thread: Jesse F. Hughes: "Re: Epistemology 201: The Science of Science"
Reply: Jesse F. Hughes: "Re: Epistemology 201: The Science of Science"
Messages sorted by: [ date ] [ thread ]

Relevant Pages

Re: Skolems Paradox and why is math the way it is?
... >>theory, the specialized field, really uses all of ZFC. ... >>one way that ordinary mathematics could in principle be formalized. ... One thing that comes to mind is much of modern homotopy theory. ... we need colimits of uncountable towers. ...
(sci.math)
Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
... The claim is that with the axioms of ZFC we can prove all (or ... virtually all) of the theorems of ordinary mathematics. ... Are you using only ZFC's axioms? ... I have been able to formalize a great deal of ...
(sci.logic)
Re: What does Gödels Incompleteness mean for the Working Mathematician?
... Most ordinary mathematics is formalizable in axiomatic set theory. ... this category of incompleteness is independent of Gödel's theorem. ... undecidability in ZFC of the continuum hypothesis is a typical ...
(sci.math)
Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
... indepenent of ZFC? ... If those statements are part of ordinary mathematics then they are ... If we know WHAT axioms already? ... Would WHAT produce the same set of theorems (the axioms of another ...
(sci.logic)
Re: How to tell if a theory is a good one
... In fact, since they are the basis of ordinary mathematics, their ... > I had not heard the bit about ZFC and the inaccessible cardinal before (or ... > being an independent axiom similar to the parallel postulate in geometry - ... believe that having inaccessible cardinals is consistent, ...
(sci.physics)