Alien Top
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
sym_numB to Lisp@communick.newsEnglish · 2 years ago

Gödel’s Proof in Lisp

message-square
message-square
3
link
fedilink
1
message-square

Gödel’s Proof in Lisp

sym_numB to Lisp@communick.newsEnglish · 2 years ago
message-square
3
link
fedilink

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

Lisp@communick.news

lisp@communick.news

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !lisp@communick.news
Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 1 user / day
  • 1 user / week
  • 1 user / month
  • 1 user / 6 months
  • 9 local subscribers
  • 52 subscribers
  • 156 Posts
  • 697 Comments
  • Modlog
  • mods:
  • rglullis@communick.news
  • defmacro@communick.news
  • BE: 0.19.11
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org