On 6/26/2026 1:10 AM, Mikko wrote:
On 25/06/2026 17:47, olcott wrote:
https://philpapers.org/archive/OLCPTS-2.pdf
Essentially the article claims that Gödel's incompleteness resutls
are correct and that the significancs of proof theoretic semantivs
is mainly philosophical and not mathematical.
The article also presents an attempt to solve the halting problem
and a construction of an intput that the decider cannot decide
correctly but fails to present any conclusion.
It is a verified matter of fact that within proof
theoretic semantics undecidability derived from
pathological self-reference (PSR) ceases to exist.
| Sysop: | DaiTengu |
|---|---|
| Location: | Appleton, WI |
| Users: | 1,126 |
| Nodes: | 10 (1 / 9) |
| Uptime: | 52:54:04 |
| Calls: | 14,416 |
| Calls today: | 4 |
| Files: | 186,401 |
| D/L today: |
11,598 files (3,197M bytes) |
| Messages: | 2,549,001 |
| Posted today: | 1 |