Now and again, there arise certain trends in science and technology which prove deleterious. Take, for instance, the carbon nanotube. It is, as of 2024, 33 years old, and millions of man-hours have gone into practical nanotube development projects. To say that the reward has not been commensurate with the effort would be far too generous -- just about nothing has come of those millions of hours. In hindsight, this should perhaps have been more obvious; the theoretical benefits of nanotubes hinge on the production of pristine submicron fiber-like (giant-) molecules, and those have always been somewhere over the horizon.
I feel that Cantor's theories are much the same way. They have severe logical shortcomings, which were highlighted over 100 years ago by the superior logician Skolem; namely that you can construct an uncountable set out of any countable set, and that every so-called uncountable set has a perfectly isomorphic countable model. Further, the diagonalization argument only works in the limit, with very generous use of ". . .", and the finitists have put together a number of very compelling arguments against it. People claim that Cantor's set theory might be a good foundation for mathematics, but it is at best a foundation made of sand. As with the nanotube, I feel that many researchers have spent countless hours -- millions, perhaps -- following an intellectual/scientific trend, and nothing good has come of it.
Löwenheim-Skolem gives you a countable elementarily equivalent submodel (assuming you're working in a theory in a countable language, otherwise it gives you an elementary substructure of the same cardinality of the language at best), but plenty of interesting properties of familiar mathematical objects cannot be captured by a first-order theory and are not preserved by elementary equivalence, completeness of the reals being the standard example
Can you elaborate? It all seems really straightforward to me. There is no bijection between a set and its power set, via diagonalization. Thus, there is no bijection from the natural numbers to the power set of natural numbers. By definition, that means the power set of natural numbers is uncountable.
A_D_E_P_T|1 year ago
I feel that Cantor's theories are much the same way. They have severe logical shortcomings, which were highlighted over 100 years ago by the superior logician Skolem; namely that you can construct an uncountable set out of any countable set, and that every so-called uncountable set has a perfectly isomorphic countable model. Further, the diagonalization argument only works in the limit, with very generous use of ". . .", and the finitists have put together a number of very compelling arguments against it. People claim that Cantor's set theory might be a good foundation for mathematics, but it is at best a foundation made of sand. As with the nanotube, I feel that many researchers have spent countless hours -- millions, perhaps -- following an intellectual/scientific trend, and nothing good has come of it.
ginnungagap|1 year ago
openasocket|1 year ago
Vecr|1 year ago