- #1

If one is seeking to explain everything, doesn't one run up against Goedel's incompleteness theorem?

- Thread starter mister studebaker
- Start date

- #1

If one is seeking to explain everything, doesn't one run up against Goedel's incompleteness theorem?

- #2

selfAdjoint

Staff Emeritus

Gold Member

Dearly Missed

- 6,786

- 7

But any mathematical system than does not base itself on such a proof system is not necessarily undecidable or incomplete. Tarski showed that geometry is complete back in 1948, and work in the last ten years or so has shown that a broad class of operations with real numbers is complete, too. So it's not a foregone conclusion that the math of physics will run into Goedel problems.

- #3

- 1,306

- 0

- Last Post

- Replies
- 5

- Views
- 3K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 26

- Views
- 3K

- Last Post

- Replies
- 6

- Views
- 3K

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 2K

- Replies
- 15

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 3K

- Last Post

- Replies
- 2

- Views
- 2K