corpus.blog
43,398 blogs · 5,519,570 posts Claim your blog
Record · corpus.blog/posts/01a08753-ea5c-7116-8f70-6c6b43716078

Self-referential logic via self-referential circuits

blog.sigfpe.com · published 15 July 2017

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.sigfpe.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
24
Words captured
3,326

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Liar_paradox
en.wikipedia.org
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjTQrxM676I5rkbw4SBhHymMm5gIxUI2cZA7sULYTpQQyN_PXP-PzMLuhZ9Jm0XmxKGHY-AUeVNFFPvYGSzKlwgMCwt84CXwBXGhd0O6YMiNOyunXSjDKf8NPgQrJSs93sMhOEH/s1600/not.png
blogger.googleusercontent.com
https://electronics.stackexchange.com/questions/206907/how-to-delay-a-not-gate-oscillator-to-make-it-run-at-a-desired-frequency
electronics.stackexchange.com
https://intelligence.org/files/ProgramEquilibrium.pdf
intelligence.org
http://www.cambridge.org/catalogue/catalogue.asp?isbn=0521483255
cambridge.org
https://projecteuclid.org/euclid.bams/1183548781
projecteuclid.org
https://en.wikipedia.org/wiki/Provability_logic
en.wikipedia.org
https://en.wikipedia.org/wiki/Löb%27s_theorem
en.wikipedia.org
Löb's theorem is (almost) the Y combinator Read at the source ↗
semantic-domain.blogspot.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjUDKyNpC4N5JjamkQovWaimr79X_y6Q6LEGvffnhEUJEXOxR6Z3OlZLHH_MvwGt4M3GHGeuL_7IjX-DeuhXRJk9liFdeOTCnJUTDUDqPWfrx5hLFr7xO4rnofKOUFKoGuOEFuy/s1600/delay.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEizI-vfx5Ag24RnTOPKZmTX8PF9u6kF38vhmxW5w6kiWuJeLa76JLMm1ise_zRFNq5zx0CXqhN2ppQWP5WFMKSnS9MYdDy6skA43Et-j74PEfH4WhOWzr8oPHnJ15efq1BL-YI9/s1600/a.gif
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgTl3Fq_GwQA6u6VzMUtncCHvRczrIj0qsLaNp9gQZ7vN7N0QoJdrrCoxjoPOceBvoY8Xu1tZJ_CzlKlnKQFVEsdd0AtnGQFD8rifrxKuPO6lZN9I3OK_Eup1H-vESpMQqDgNql/s1600/animated.gif
blogger.googleusercontent.com
https://github.com/dpiponi/provability
github.com
https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
en.wikipedia.org
https://en.wikipedia.org/wiki/Craig_interpolation
en.wikipedia.org
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhaEDCbfnZHW5jO-BEpAQk8XbO7VXaberWk-PV5ArUWGQYsndGnslr_1WZ7S1r-8w1RgWPVGb51hEIs3S7TijGLgW-sKXfEfoGZSs9IQNs5W1uuGCsNfh9zqeEmY2fc3zNv_Jj8/s1600/loop1.png
blogger.googleusercontent.com
http://lesswrong.com/lw/hmw/robust_cooperation_in_the_prisoners_dilemma/
lesswrong.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh6YAAGpVUznaDE-J7wpouoDbJ9vE5Nty7ITT0w4mO8pLHHBxnymg3INgOwFYWYekWY105_T7JKJ1aPoR286TBGLCwvlopdA6xAEpoH9R28IOn5siR4kobXVrou-iVAko3Rjc3b/s1600/loop2.png
blogger.googleusercontent.com
https://arxiv.org/abs/1401.5577
arxiv.org
https://ncatlab.org/nlab/show/Magari+algebra
ncatlab.org
https://en.wikipedia.org/wiki/Temporal_logic
en.wikipedia.org
https://en.wikipedia.org/wiki/Pneumatic_circuit
en.wikipedia.org
https://en.wikipedia.org/wiki/Peano_axioms
en.wikipedia.org
https://en.wikipedia.org/wiki/Quine_%28computing%29
en.wikipedia.org
Elsewhere on blog.sigfpe.com (1)