/sci/ - Science & Math » Thread #12413693

575KiB, 1300x1300, c.png

View Same Google iqdb SauceNAO

Mathematical logic generally does not allow explicit reference to its own sentences.

Anonymous Thu 03 Dec 03:49:22 2020 No.12413693 View Reply Original Report

Quoted By: >>12415166

NO REFUNDS

Anonymous

Anonymous Thu 03 Dec 2020 03:51:17 No.12413702 Report

Quoted By: >>12413714

it can, just not without restrictions

Anonymous

Anonymous Thu 03 Dec 2020 03:55:21 No.12413714 Report

Quoted By:

>>12413702
go on...

Anonymous

Anonymous Thu 03 Dec 2020 15:41:15 No.12415166 Report

Quoted By: >>12415276

>>12413693
Look into Godel's theorems. Provided your logical system is recursive and strong enough to encode arithmetic, then you can forms statements about its own sentences, provability etc.

Anonymous

Anonymous Thu 03 Dec 2020 16:14:16 No.12415276 Report

Quoted By: >>12415545

>>12415166
>you can forms statements about its own sentences
doubt

Anonymous

Anonymous Thu 03 Dec 2020 17:21:15 No.12415545 Report

Quoted By:

>>12415276
Doubr

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches