Our server costs ~$56 per month to run. Please consider donating or becoming a Patron to help keep the site running. Help us gain new members by following us on Twitter and liking our page on Facebook!
Current time: December 12, 2024, 8:31 pm
Thread Rating:
Question for finitists -- 0.999... = 1?
|
(November 26, 2022 at 7:19 pm)polymath257 Wrote:(November 26, 2022 at 6:24 pm)Jehanne Wrote: You were taught naive set theory, as was I. Little to no introduction to ZFC. Real numbers, of course, include irrational numbers. In my discrete mathematics course (Rosen was the text), ZFC was mentioned but not taught. Professor Rosen has a text on elementary number theory; I never took that class, as I was a computer science major. Some of the concepts in number theory were mentioned in my automata theory class. (November 26, 2022 at 7:41 pm)Jehanne Wrote:(November 26, 2022 at 7:19 pm)polymath257 Wrote: ZFC vs naive ST isn't so much the issue here as clarity about what an infinite decimal expansion means. Which means being a bit more precise about what it means to be a real number (although, in this case, we are doing convergence in the rationals). About the only thing that needs to be said is that naive set theory is quite sufficient until it isn't. Very few people ever need to deal with the axioms of Foundation or Replacement and their consequences for the iterative hierarchy. The vast majority of mathematics happens below level omega+20 of the hierarchy. The trickiest axiom for most people is the Axiom of Choice, which has a long history of controversy. It is incredibly easy to use AC without realizing it and even PhD mathematicians are often uncertain about it. That said, it is usually just assumed without comment when studying Turing machines and Godel's Theorems. (November 26, 2022 at 8:22 pm)polymath257 Wrote:(November 26, 2022 at 7:41 pm)Jehanne Wrote: Real numbers, of course, include irrational numbers. In my discrete mathematics course (Rosen was the text), ZFC was mentioned but not taught. Professor Rosen has a text on elementary number theory; I never took that class, as I was a computer science major. Some of the concepts in number theory were mentioned in my automata theory class. The electrical engineers in my office give us strange (sometimes, dirty) looks when someone (never me) brings up something from automata theory, or, for that matter, elementary number theory. |
« Next Oldest | Next Newest »
|
Possibly Related Threads... | |||||
Thread | Author | Replies | Views | Last Post | |
Mathematicians who are finitists. | Jehanne | 99 | 15777 |
July 11, 2019 at 1:53 pm Last Post: A Toy Windmill |
|
Maths proves 1=0.999.. thus ends in self contradiction | shakuntala | 11 | 6474 |
December 21, 2014 at 3:57 pm Last Post: Thumpalumpacus |
|
If 0.999(etc) = 1, does 1 - 0.999 go to zero? | Euler | 26 | 10043 |
April 30, 2013 at 12:17 pm Last Post: Mister Agenda |
|
[split] 0.999... equals 1 | Rhizomorph13 | 330 | 114820 |
February 20, 2013 at 6:47 am Last Post: Categories+Sheaves |
|
If 0.999 (etc.) = 1, does 1 - 0.999 = 0? | Child of Stardust | 16 | 11619 |
March 6, 2012 at 2:12 pm Last Post: Child of Stardust |
Users browsing this thread: 1 Guest(s)