Danbooru
Login
Posts
Comments
Notes
Artists
Tags
Pools
Wiki
Forum
More »
Listing
Upload
Hot
Changes
Help
Resized to 28% of original (
view original
)
Check translation
Partially translated
Artist's commentary
Original
|
Translated
rkgk
sketch
‹ prev
Search:
notepad
next ›
Comments
Recommended
Loading...
user 473823
almost 8 years ago
[hidden]
Possibly related:
post #2916169
0
Reply
Copy ID
Copy Link
[deleted]
almost 8 years ago
[hidden]
[deleted]
Leave a comment
m is the
Gödel number
of ξ
Definition of
Diagonalization (
Gödel
)
with one var.
without free variable
two functions
represent
e
ble (arithmetic)
FACT
For all formulas A(ξ), variable ξ, and
terms
. that the same type of ξ.
Verb missing.
otherwise
U
K
is
undecidable
Leave a comment