You are viewing a single thread.
View all comments View context
1 point

I think the statement “this system is consistent” is a practical statement that is unprovable in a sufficiently powerful consistent system.

Can you help me understand the tone of your text? To me it sounds kinda hostile as if what you said is some kind of gotcha.

permalink
report
parent
reply
1 point

Just explaining that the limitations of Gödel’s theorems are mostly formal in nature. If they are applicable, the more likely case of incompleteness (as opposed to inconsistency) is not really a problem.

permalink
report
parent
reply

Science Memes

!science_memes@mander.xyz

Create post

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

  1. Don’t throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.


Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

Community stats

  • 12K

    Monthly active users

  • 2.8K

    Posts

  • 67K

    Comments