WelcomeWelcome | FAQFAQ | DownloadsDownloads | WikiWiki

Author Topic: "The Mess We're In" ~ Joe Armstrong  (Read 1876 times)

Offline mocore

  • Hero Member
  • *****
  • Posts: 666
  • ~.~
"The Mess We're In" ~ Joe Armstrong
« on: July 20, 2023, 02:22:20 PM »
"the number of posible states 3 varables in javascript can have is grater than the number of atoms on the planet"

  ???   https://www.youtube.com/watch?v=lKXe3HUG2l4
« Last Edit: July 20, 2023, 02:52:24 PM by mocore »

Offline mocore

  • Hero Member
  • *****
  • Posts: 666
  • ~.~
Re: "The Mess We're In" ~ Joe Armstrong
« Reply #1 on: July 31, 2023, 11:02:42 AM »

parts of the above remind me of
sections from : "Gödel's Incompleteness (extra footage 1)" !

specifically "And at its heart is this idea of being able to code every statement in mathematics
with its own unique code number."

https://youtu.be/mccoBBf0VDM?t=279

possibly all a bit over my head tbh !

Offline mocore

  • Hero Member
  • *****
  • Posts: 666
  • ~.~
Re: "The Mess We're In" ~ Joe Armstrong
« Reply #2 on: October 07, 2024, 05:27:21 AM »
https://cs.stackexchange.com/questions/149847/could-g%C3%B6del-s-incompleteness-theorem-be-circumvented-with-a-quine

Quote
A better intuitive summary of Gödel's incompleteness theorem would be:
"A theory is either so small that it cannot express enough theorems,
or it is so powerful that it can express too many theorems,
including theorems that it cannot prove."

this quote caught my attention 
it appears minimalist undercurrent flows through many domains

see also ( idk how many bash-ism's it uses ... might be possible  :P to adapt to busybox sh )

https://lacker.io/math/2022/02/24/godels-incompleteness-in-bash.html
« Last Edit: October 07, 2024, 05:38:57 AM by mocore »