sym_num@alien.topB to

Lisp@communick.newsEnglish · 1 year ago

Gödel’s Proof in Lisp

2

1

Gödel’s Proof in Lisp

sym_num@alien.topB to

Lisp@communick.newsEnglish · 1 year ago

2

I have conducted my own analysis and computational experiments regarding Gödel’s incompleteness theorems in the style of Chaitin’s Lisp. Is my approach correct? I am eagerly awaiting advice from those with expertise in this matter. Gödel’s Proof in Lisp. A Complex Book | by Kenichi Sasagawa | Nov, 2023 | Medium

You must log in or register to comment.

Chat

Mysterious-Chair3374@alien.topB
link
fedilink
English
arrow-up
1·
1 year ago
I had done somwhat about this issue. Please see my brog,

http://blog.livedoor.jp/s-koide/archives/1915880.html

http://blog.livedoor.jp/s-koide/archives/1916259.html

http://blog.livedoor.jp/s-koide/archives/1916982.html

http://blog.livedoor.jp/s-koide/archives/1917649.html

http://blog.livedoor.jp/s-koide/archives/1918198.html

http://blog.livedoor.jp/s-koide/archives/1918908.html

Unfortunately, they are in Japanese but you can use DeepL or others, and you can read Lisp code, of cource.

Any question will be welcome, of cource.
nick_recursion@alien.topB
link
fedilink
English
arrow-up
1·
1 year ago
I think analyzing this article might help you determine the correctness of your approach.

“I am not provable in PM-LISP” https://stopa.io/post/269