Can we leverage Lisp to build an intuition about mathematical theories? I think so. If we translate the formulas of a mathematical system in Lisp code, we gain in at least two ways:
1, Readability: S-expressions are more familiar to Lispers than traditional mathematical notation. 2, Interactivity: With executable source code, we can experiment at the REPL, step through processes, and *construct* an understanding. Taking this idea further, could we use Lisp to encode the mathematical system that birthed it, namely recursion theory? This is what I'm exploring in my new blog post, Lisp's grandfather paradox <https://danielsz.github.io/20240718T060528--lisps-grandfather-paradox__clojure_lisp_scheme.html> . I'll be talking <https://2024.heartofclojure.eu/talks/the-shoulders-of-giants-or-uncovering-the-foundational-ideas-of-lisp/> more on Lisp and its foundations at the upcoming Heart Of Clojure <https://2024.heartofclojure.eu/> conference on September 18 & 19, Leuven, Belgium. I hope to see you there! Haven't got a ticket yet? Use this link <https://ti.to/heart-of-clojure/2024/discount/daniel-szmulewicz-A11D2> for a 5% discount. I'd love to hear your thoughts on this topic. Have you used Lisp to explore mathematical concepts? Share your experiences! -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/clojure/643ea232-51d9-435e-a474-7cedbf4660afn%40googlegroups.com.
