Tiny Core Linux

Off-Topic => Off-Topic - Tiny Core Lounge => Topic started by: mocore on July 20, 2023, 02:22:20 PM

Title: "The Mess We're In" ~ Joe Armstrong
Post by: mocore 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

Title: Re: "The Mess We're In" ~ Joe Armstrong
Post by: mocore 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 !

Title: Re: "The Mess We're In" ~ Joe Armstrong
Post by: mocore 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