| Line 213: |
Line 213: |
| | ::::Your criticism of my proof by induction is also flawed. Do you really think that your examples for n and n+1 will stop existing in the infinite sequence of digits for [[pi]], at some large n? Your position essentially denies the extent of [[infinity]]. | | ::::Your criticism of my proof by induction is also flawed. Do you really think that your examples for n and n+1 will stop existing in the infinite sequence of digits for [[pi]], at some large n? Your position essentially denies the extent of [[infinity]]. |
| | ::::[[Infinity]] has no such limit. Embrace its vastness and make it work for you. It can be enormously beneficial at a personal level for someone's outlook, and not something to be resisted through [[infinity denial]].--[[User:Aschlafly|Andy Schlafly]] ([[User talk:Aschlafly|talk]]) 23:25, July 31, 2021 (EDT) | | ::::[[Infinity]] has no such limit. Embrace its vastness and make it work for you. It can be enormously beneficial at a personal level for someone's outlook, and not something to be resisted through [[infinity denial]].--[[User:Aschlafly|Andy Schlafly]] ([[User talk:Aschlafly|talk]]) 23:25, July 31, 2021 (EDT) |
| | + | |
| | + | *"''Your proposed proof has the fallacy of assuming a termination on an infinite sequence (and thus periodicity). There is no such termination.''" That sounds impressive. The proof does not assume "a termination on an infinite sequence" - whatever you mean by this. |
| | + | *"''Your criticism of my proof by induction is also flawed.''" I have been reluctant to address what you call your "proof by induction" - there is no way to do this charitably. But you forced my hand: |
| | + | {| |
| | + | !Andrew Schlafly's "Proof by Induction" |
| | + | |- |
| | + | |style="background-color:pink"|π contains π as one significant digit in a finite representation ("3": 3.14159265'''3'''....) |
| | + | |- |
| | + | |style="background-color:lightblue"|That's your '''base case''': as π does not equal 3, the sentence "π contains π as one significant digit" is wrong on face value. But, I assume you wanted to say something like "π contains a approximation of π of length 1." So, well done, I'll give you that. Now for the two parts of the '''induction step''': |
| | + | |- |
| | + | |style="background-color:pink"|assume π contains π as ''n'' significant digits in a finite representation of π |
| | + | |- |
| | + | |style="background-color:lightblue"|again, your '''induction hypothesis''' is okay: I'd use the phrase "approximation of π of length ''n''", but let's not quibble. |
| | + | |- |
| | + | |style="background-color:pink"|π must also contain π as ''n+1'' significant digits as the number of digits of π is stretched to [[infinity]] |
| | + | |- |
| | + | |style="background-color:lightblue"|'''''What? Why should this be true?''''' Mathematicians have not proofed yet that π is a [[normal number]]! You can easily construct a irrational number which contains an approximation of π of length 10<sup>10,000</sup>, but no approximation of length 10<sup>10,000</sup> + 1 . Perhaps God constructed π this way - just to teach mathematicians a little humility. No one knows yet. |
| | + | |- |
| | + | |style="background-color:lightblue"|But even if your conclusion was true, you would have proofed only that π contains approximations of every imaginable '''''finite''''' length - not of '''''infinite length'''''. That the same principle which allows you to count to every number, but never reach infinity. |
| | + | |- |
| | + | |style="background-color:pink"|Q.E.D. |
| | + | |- |
| | + | |style="background-color:lightblue"|Yeah, that's funny. |
| | + | |} |
| | + | |
| | + | Andy, I know that you will not be convinced by my arguments (even if you have read them) - you never are. But while getting something wrong in classical Greek makes you look uneducated to a very small minority of readers, being wrong when it comes to the concept of countable infinity makes you look stupid in the eyes of quite a bigger audience. |
| | + | |
| | + | But therein lies a chance: I assume that you have no one in your circle of friends with whom you could discuss Koine, but I hope that there are mathematically educated persons whom you know: perhaps a high-school teacher, a mathematician (even a student will do) or a physicist, or someone else with comparable background? Ask them: get their help. |
| | + | |
| | + | Seriously, yours [[User:AugustO|AugustO]] ([[User talk:AugustO|talk]]) 17:06, August 1, 2021 (EDT) |