3 ms·
A formalism (layman's definition of "formalism") need not include a statement of its own consistency in order to be valid (including, in order to be consistent)
by javert 14y ago
A formalism (layman's definition of "formalism") need not include a statement of its own consistency in order to be valid (including, in order to be consistent).
For example, I know that basic addition and subtraction are valid by observing individual concrete objects in reality, rather than because of some kind of formalism stating that.
I am not very familiar with the kind of "math and philosophy" that went into Godel's theorems, but what I'm saying is that either (a) actual math and logic as such (as opposed to something made up, like a false math where 2 + 2 can equal 5) are ruled out by the giant disclaimer that takes up most of the 2nd theorem (i.e., they are not "formally effectively generated theories..."), or (b) they are, but simply "do not include a statement of their own consistency."
- chris_wot 14y agoPerhaps do some reading up before making a fool of yourself.
- javert 14y agoWow. I've actually done a lot of reading in epistemology and done a lot of thinking about these issues. I would have really appreciated a serious response from you. For example, I would have liked to hear whether you agree that 2 + 2 = 4 (for example) can be proven from looking at actual concrete objects in reality (e.g., I take 2 pens from the left side of the table, two pens from the right, put them all in the middle, and count them... and then you can, of course, abstract away to get a concept of "unit"... etc).
- chris_wot 14y agoTry reading up on Hilbert's second problem. Wikipedia does a good job [1]. Then read about Peano axioms [2]. Finally try to understand what is meant by the term "consistency" [3] 1. http://en.wikipedia.org/wiki/Hilbert%27s_second_problem http://en.wikipedia.org/wiki/Hilbert%27s_second_problem 2. http://en.wikipedia.org/wiki/Peano_axioms http://en.wikipedia.org/wiki/Peano_axioms 3. http://en.wikipedia.org/wiki/Consistency#Consistency_and_completeness_in_arithmetic http://en.wikipedia.org/wiki/Consistency#Consistency_and_com...