Science and Hypothesis - Revision history

Admin: /* Induction as a separate type of proof */

2019-03-31T19:24:09Z

Induction as a separate type of proof

← Older revision		Revision as of 19:24, 31 March 2019
Line 75:		Line 75:

	In this way, you could say that inductive reasoning is a kind of thought experiment, or Gedankenexperiment.		In this way, you could say that inductive reasoning is a kind of thought experiment, or Gedankenexperiment.

			===Wittgenstein tie-in===

			In Wittgenstein's book ''[[Wittgenstein/Foundations of Mathematics\|Foundations of Mathematics]]'', Lecture 4, Wittgenstein says something that has echoes of what Poincaré is saying here.

			{{Quote\|
			The point is that the proposition 25 x 25 equals 625 may be true in two senses. If I calculate a weight with it, I can use it in two different ways.

			First, when used as a prediction of what something will weigh - in this case it may be true or false, and is an experiential proposition. I will call it wrong if the object in question is not found to weigh 625 grams when put in the balance.

			In another sense, the proposition is correct if calculation shows this - if it can be proved - if multiplication of 25 by 25 gives 625 according to certain rules.

			...It is of course in the second way that we ordinarily use the statement that 25 x 25 equals 625. We make its correctness or incorrectness independent of experience. In one sense it is independent of experience, in one sense not.

			Independent of experience because nothing which happens will ever make us call it false or give it up.

			Dependent on experience because you wouldn't use this calculation if things were different. The proof of it is only called a proof because it gives results which are useful in experience.

			- Wittgenstein, <u>Foundations of Mathematics</u> (Lecture 4)
			}}

	=Quotes=		=Quotes=

Admin: /* Inductive Proofs */

2019-03-31T19:14:21Z

Inductive Proofs

@@ Line 61: / Line 61: @@
 - Henri Poincaré, <u>Science and Hypothesis</u> (p. 11)
 }}
 =Quotes=

Admin: /* Inductive Proofs */

2019-03-31T19:09:10Z

Inductive Proofs

← Older revision		Revision as of 19:09, 31 March 2019
Line 42:		Line 42:

	- Henri Poincaré, <u>Science and Hypothesis</u> (p. 9)		- Henri Poincaré, <u>Science and Hypothesis</u> (p. 9)
			}}

			{{Quote\|
			However great the number may be we shall always reach it, and the analytical verification will always be possible. But however far we went we should never reach the general theorem applicable to all numbers, which alone is the object of science. To reach it we should require an infinite number of syllogisms, and we should have to cross an abyss...

			- Henri Poincaré, <u>Science and Hypothesis</u> (p. 10)
			}}

			{{Quote\|
			I asked at the outset why we cannot conceive of a mind powerful enough to see at a glance the whole body of mathematical truth. The answer is now easy. A chess-player can combine for four or five moves ahead; but, however extraordinary a player they may be, they cannot prepare for more than a finite number of moves.

			- Henri Poincaré, <u>Science and Hypothesis</u> (p. 10)
			}}

			{{Quote\|
			In this domain of Arithmetic we may think ourselves very far from the infinitesimal analysis, but the idea of mathematical infinity is already playing a prepondering part, and without it there would be no science at all, because there would be nothing general.

			- Henri Poincaré, <u>Science and Hypothesis</u> (p. 11)
	}}		}}

Admin: /* Part 1 - Number and Magnitude */

2019-03-31T19:05:10Z

Part 1 - Number and Magnitude

← Older revision		Revision as of 19:05, 31 March 2019
Line 14:		Line 14:
	==Part 1 - Number and Magnitude==		==Part 1 - Number and Magnitude==

	Poincaré begins the book by pointing out the contradictions at the heart of mathematics, and asking a series of challenging questions about why mathematics works, and ~~why~~ we can trust ~~its~~ results.		===The contradictions of mathematical proof===

			Poincaré begins the book by pointing out the contradictions at the heart of mathematics, and asking a series of challenging questions about why mathematics works, and how we can really prove anything or trust the results of proofs.

	{{Quote\|		{{Quote\|

Admin: /* Part 1 - Number and Magnitude */

2019-03-31T19:04:15Z

Part 1 - Number and Magnitude

← Older revision		Revision as of 19:04, 31 March 2019
Line 27:		Line 27:

	Poincaré begins the discussion by sweeping much of mathematics off the table, so that he can focus on the most fundamental operations, concepts, and definitions. Accordingly, he starts with arithmetic, and starts with the "trivial" problem of proving that 2 + 2 = 4.		Poincaré begins the discussion by sweeping much of mathematics off the table, so that he can focus on the most fundamental operations, concepts, and definitions. Accordingly, he starts with arithmetic, and starts with the "trivial" problem of proving that 2 + 2 = 4.

			This "trivial" problem turns out to be quite complicated. Poincaré uses it to show the difference between verification (tautological reasoning that "leads to nothing") and proof (which reaches a conclusion more general than the premises).

			===Inductive Proofs===

			Poincaré uses an inductive proof method, which he calls "proof by recurrence", to state a hypothesis; he then demonstrates the base case to be true, and then he demonstrates that if the hypothesis is true for n, it is true for n + 1 as well.

			Poincaré proves the associative and commutative properties of addition, then proves the distributive and commutative properties of multiplication, using induction.

			{{Quote\|
			The essential characteristic of reasoning by recurrence is that it contains, condensed, so to speak, in a single formula, an infinite number of syllogisms.

			- Henri Poincaré, <u>Science and Hypothesis</u> (p. 9)
			}}

	=Quotes=		=Quotes=

Admin: /* Part 1 - Number and Magnitude */

2019-03-31T16:05:42Z

Part 1 - Number and Magnitude

← Older revision		Revision as of 16:05, 31 March 2019
Line 22:		Line 22:
	}}		}}

	~~The~~ tension between, on the one hand, the need to resort to direct experience, while on the other hand, the need to exclude an appeal to the senses to prove things~~, is one that Poincaré spends Part 1 trying to resolve~~. The way he resolves it is by introducing ~~and explaining~~ inductive (or what he calls "recursive") logic, and the technique of proof by induction.		Poincaré spends Part 1 trying to resolve the tension between, on the one hand, the need to resort to direct experience, while on the other hand, the need to exclude an appeal to the senses to prove things. The way he resolves it is by introducing inductive (or what he calls "recursive") logic, and the technique of proof by induction. He says that this provides an entirely separate, third method of proving statements, one that is not simply substituting definitions but that genuinely leads to novel insight.

	(Note that the book covers induction, but in a rather informal way. But we should keep in mind this lack of formality was not a product of the time in which it was written, or due to a lack of appreciation of the importance of rigor - the lack of formality is because Poincaré was writing this book for the layperson.)		(Note that the book covers induction, but in a rather informal way. But we should keep in mind this lack of formality was not a product of the time in which it was written, or due to a lack of appreciation of the importance of rigor - the lack of formality is because Poincaré was writing this book for the layperson.)

Admin: /* Part 1 - Number and Magnitude */

2019-03-31T15:30:30Z

Part 1 - Number and Magnitude

← Older revision		Revision as of 15:30, 31 March 2019
Line 25:		Line 25:

	(Note that the book covers induction, but in a rather informal way. But we should keep in mind this lack of formality was not a product of the time in which it was written, or due to a lack of appreciation of the importance of rigor - the lack of formality is because Poincaré was writing this book for the layperson.)		(Note that the book covers induction, but in a rather informal way. But we should keep in mind this lack of formality was not a product of the time in which it was written, or due to a lack of appreciation of the importance of rigor - the lack of formality is because Poincaré was writing this book for the layperson.)

			Poincaré begins the discussion by sweeping much of mathematics off the table, so that he can focus on the most fundamental operations, concepts, and definitions. Accordingly, he starts with arithmetic, and starts with the "trivial" problem of proving that 2 + 2 = 4.

	=Quotes=		=Quotes=

Admin: /* Part 1 - Number and Magnitude */

2019-03-31T15:29:18Z

Part 1 - Number and Magnitude

← Older revision		Revision as of 15:29, 31 March 2019
Line 18:		Line 18:
	{{Quote\|		{{Quote\|
	The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigor which is challenged by none? If on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology?		The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigor which is challenged by none? If on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology?

			- Henri Poincaré, <u>Science and Hypothesis</u> (p. 1)
	}}		}}

Admin: /* Part 1 - Number and Magnitude */

2019-03-31T15:28:28Z

Part 1 - Number and Magnitude

← Older revision		Revision as of 15:28, 31 March 2019
Line 20:		Line 20:
	}}		}}

	The tension between ~~the need~~, on the one hand, to resort to direct experience, ~~but~~ on the other, the need to exclude an appeal to the senses to prove things, is one that Poincaré ~~attempts~~ to resolve ~~throughout Part 1~~.		The tension between, on the one hand, the need to resort to direct experience, while on the other hand, the need to exclude an appeal to the senses to prove things, is one that Poincaré spends Part 1 trying to resolve. The way he resolves it is by introducing and explaining inductive (or what he calls "recursive") logic, and the technique of proof by induction.


			(Note that the book covers induction, but in a rather informal way. But we should keep in mind this lack of formality was not a product of the time in which it was written, or due to a lack of appreciation of the importance of rigor - the lack of formality is because Poincaré was writing this book for the layperson.)

	=Quotes=		=Quotes=

Admin: Created page with "=Notes= Book is divided into four parts: Part 1 - Number and Magnitude (Arithmetic) Part 2 - Space (Geometry) Part 3 - Force (Physics) Part 4 - Nature (Engineering/Physic..."

2019-03-31T15:23:15Z

Created page with "=Notes= Book is divided into four parts: Part 1 - Number and Magnitude (Arithmetic) Part 2 - Space (Geometry) Part 3 - Force (Physics) Part 4 - Nature (Engineering/Physic..."

New page

=Notes=

Book is divided into four parts:

Part 1 - Number and Magnitude (Arithmetic)

Part 2 - Space (Geometry)

Part 3 - Force (Physics)

Part 4 - Nature (Engineering/Physics)

==Part 1 - Number and Magnitude==

Poincaré begins the book by pointing out the contradictions at the heart of mathematics, and asking a series of challenging questions about why mathematics works, and why we can trust its results.

{{Quote|
The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigor which is challenged by none? If on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology?
}}

The tension between the need, on the one hand, to resort to direct experience, but on the other, the need to exclude an appeal to the senses to prove things, is one that Poincaré attempts to resolve throughout Part 1.

=Quotes=

=Flags=

{{ReadingFlag}}