this post was submitted on 08 Nov 2025
897 points (99.0% liked)
Science Memes
20202 readers
1481 users here now
Welcome to c/science_memes @ Mander.xyz!
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
- Don't throw mud. Behave like an intellectual and remember the human.
- Keep it rooted (on topic).
- No spam.
- Infographics welcome, get schooled.
This is a science community. We use the Dawkins definition of meme.
Research Committee
Other Mander Communities
Science and Research
Biology and Life Sciences
- !abiogenesis@mander.xyz
- !animal-behavior@mander.xyz
- !anthropology@mander.xyz
- !arachnology@mander.xyz
- !balconygardening@slrpnk.net
- !biodiversity@mander.xyz
- !biology@mander.xyz
- !biophysics@mander.xyz
- !botany@mander.xyz
- !ecology@mander.xyz
- !entomology@mander.xyz
- !fermentation@mander.xyz
- !herpetology@mander.xyz
- !houseplants@mander.xyz
- !medicine@mander.xyz
- !microscopy@mander.xyz
- !mycology@mander.xyz
- !nudibranchs@mander.xyz
- !nutrition@mander.xyz
- !palaeoecology@mander.xyz
- !palaeontology@mander.xyz
- !photosynthesis@mander.xyz
- !plantid@mander.xyz
- !plants@mander.xyz
- !reptiles and amphibians@mander.xyz
Physical Sciences
- !astronomy@mander.xyz
- !chemistry@mander.xyz
- !earthscience@mander.xyz
- !geography@mander.xyz
- !geospatial@mander.xyz
- !nuclear@mander.xyz
- !physics@mander.xyz
- !quantum-computing@mander.xyz
- !spectroscopy@mander.xyz
Humanities and Social Sciences
Practical and Applied Sciences
- !exercise-and sports-science@mander.xyz
- !gardening@mander.xyz
- !self sufficiency@mander.xyz
- !soilscience@slrpnk.net
- !terrariums@mander.xyz
- !timelapse@mander.xyz
Memes
Miscellaneous
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Kurt Gödel wrote a whole paper on it.
He used math to show that all statements, in any language, can be expressed as math statements. He then proved that it's impossible to create any consistent set of math statements that completely describes everything.
That doesn’t make it fundamentally flawed. I also can’t completely describe all muscle movement involved and yet I can walk.
Gödel’s incompleteness theorem has to be the most overhyped thing since a certain cat. For logicians, it mainly means that “is it probable” is a valid question for prepositions that are otherwise vastly esoteric in nature.
That's not a flaw. It's one of the greatest mathematical revelations of the 20th century.
It's only a "flaw" for people who want to believe in some imaginary positivism. This is a popular grift under capitalism. See also the entire field of economics.
Nah, euclidean geometry was not complete. Tarski didn't come up with a complete version until the 20th century. I'm not sure how famous Tarski geometry is, but it doesn't seem very famous in USA outside of math depts.
It says far less than that: "It’s impossible for a mathematical system containing the natural numbers to be both complete and consistent."
In itself it has very little to do with physical reality. I think it's more about how we think about math and then its applications.
This has been largely debunked.
I dunno what his dream was, but Hilbert's program is very much dead.