life, psychology, mathematics
(Live demo on Spacefast: https://budge.space.fast/)
In the previous blog posts (first, second, third), we wrote every theorem by hand. Recall how many steps it took to show that 1+1=2 with Peano’s axioms. This does not scale.
In this blog post, we will show how Budge-TP can write proofs for us.
Continue reading “Writing your fourth program with Budge-TP”As I was rewatching Interstellar a few days ago, a question popped into my mind:
Is there a relationship between black holes (spacetime disturbances) and psychological stuckness (and similar phenomena)?
But since I don’t know much about physics, I re-framed it as:
Is there a relationship between formal systems (paradoxes) and psychological stuckness (and similar phenomena)?
Sure, if we construct the analogy 🙂 In this post, I’ll give that a try.
Continue reading “Formal systems meet psychological stuckness”If you’ve been following my blog, you’ve probably noticed my shift towards psychology in the past period. And before that, I spent a lot of time tackling mathematics and proofs, especially set theory.
Gestalt therapy focuses on how awareness organizes figure and ground in contact with the world. Set theory, with its emphasis on partitions and transitions, gives us a playful but precise language to represent these processes.
This blog post will be a conjuction of both ideas.
Continue reading “Gestalt Therapy Meets Set Theory”Recently I was helping out my daughter with her art class. Will summarize some quick thoughts here.
Continue reading “Tiles”In a previous blog post, we showed an implementation of a subset formal system of Peano’s axioms that could represent numbers and the addition operator. In a blog post before that, we showed and implemented a formal system that could represent numbers and the addition operator at a more basic level.
This blog post will show yet another way to represent numbers and arithmetic operations such as addition, subtraction, multiplication, and division. Finally, we’ll extend this system to also support complex arithmetic operations (combining the previous basic operations).
Continue reading “Writing your third program with Budge-TP”
