Philosophy Lambda Calculus and Buddhism

[deaf_judger]

I used math for this one. So I have attached a pdf:

 

[methos]

high iq post, but i much prefer lambda in wave physics and oscillators

 

[Suigin Trismegistus]

Good read. Your connection to type theory, and in a broader sense, category theory is spot on. Just as lambda calculus redefines "things" as bundles of responsive behaviors rather than static truths, category theory models reality through functors and natural transformations that capture universal patterns of relation. If you are familiar with Houellebecq's "The Map and the Territory", type/category theory renders the territory indistinguishable from the maps that navigate it.

Ultimately, it suggests that what we perceive as essence (territory) is illusory, superseded by relational dynamics (maps), where computation and structure are performative acts of interdependence rather than objective fixtures. This shifts ontology from substance to process, blurring representation and reality.

All is but a unified, adaptive flow.

 

[Lykeios Tenzen]

I used math for this one. So I have attached a pdf:

Nice originial post @the_deaf_judger , teaching is a way of validating your learning, just like when i post my writings here. Very nice PDF and i will start doing the same. The type of content this forum needs!

My post ideas:

Discussion - Book studying thread

Theory of Games and Economic Behavior https://archive.org/details/in.ernet.dli.2015.215284/page/n5/mode/2up

elysianfields.se

The roman ghost - Brazil

This is a translation written from portuguese to english. A draft forgotten in time. The true nature of Brazilian society is nothing more than the remnants of cursed nobles who, out of greed and a lack of will—will in the noble sense of the soul, the will to create and define something...

elysianfields.se

 

[deaf_judger]

Very nice PDF and i will start doing the same. The type of content this forum needs!

Would you be interested in inline LaTeX? This removes the need for a seperate PDF to include math. https://elysianfields.se/threads/latex-fragments.6576/

 

[Lykeios Tenzen]

Would you be interested in inline LaTeX? This removes the need for a seperate PDF to include math. https://elysianfields.se/threads/latex-fragments.6576/

Logic+Math+programming all together? Of course, did not even knew this existed, i am studying logic+programming+math myself