« first day (884 days earlier)
← previous day
next day →
last day (1896 days later) »
Secret
11:41 AM
sciencedirect.com/science/article/pii/S1571064519300077
Talks about how self reference is related to undecidability. I have not read yet, will do so later
Might be of interest here because of godel stuff
« first day (884 days earlier)
← previous day
next day →
last day (1896 days later) »
all rooms
Transcript for
Jan
12
Jan '19
18
Jan
19
♦
Logic
This room is meant for discussion about logic, including found...
1
formal-systems
foundations
logic
no-trolls
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile