(φ (μ (λ))) – Telegram
(φ (μ (λ)))
1.05K subscribers
332 photos
16 videos
145 files
641 links
www.phimulambda.org

https://tv.dyne.org/c/phimulambda

Uncovering underlying intersections between philosophy (φ), mathematics (μ) and logic (λ).

Other embeddings include:
- Computing
- Cognitive Science
- Linguistics
- Statistics

@DivyaRanjan1905
Download Telegram
Forwarded from A Math Book
Elementary Galois Theory: A Constructive Approach ( Marc Nieper-Wißkirchen ). Springer 2024
Forwarded from A Math Book
Elementary Galois Theory.pdf
7.5 MB
Elementary Galois Theory: A Constructive Approach ( Marc Nieper-Wißkirchen ). Springer 2024
Also, importantly, the language really predates the notion that software itself might be a business, and certainly the notion that a programming language by itself would need or want to be sold separately. So the fact that it would not sell well was not exactly relevant. And what with free software and all, you can't much sell languages any more anyway, so it's come full circle and this is a strange time for anyone to have started complaining about how a language is packaged for sale.

And anyway, the subject line presupposes that Lisp has not caught on. This is like saying that astrophysics or calculus or brain surgery has not caught on because in relative numbers, there might be more people doing other things. The success of Lisp is not measured in the number of people using it, it's measured in the utility to those people who do use it. Turning it into C (or C++ or C#) to make it more popular would not be success. In the world's menu of computer language options, we don't need them all to be Taco Bell.

Kent Pitman on comp.lang.lisp
sussmn-steele-art-of-interpreter.pdf
3.8 MB
Guy Lewis Steele Jr. & Gerald Jay Sussman, The Art of the Interpreter or, The Modularity Complex (1978)
(φ (μ (λ)))
sussmn-steele-art-of-interpreter.pdf
Guy Lewis Steele jr. & Gerald Jay Sussman, The Art of the Interpreter or, The Modularity Complex (1978)
#lang 2d racket

(require 2d/match)

(define (fizz? n)
(= 0 (modulo n 5)))

(define (buzz? n)
(= 0 (modulo n 3)))

(define (fizzbuzz n)
#2dmatch
╔═════════════════════╦══════════════╦════════════════════╗
║ (fizz? n) (buzz? n) ║ #t ║ #f ║
╠═════════════════════╬══════════════╬════════════════════╣
║ #t ║ "FizzBuzz" ║ "Buzz" ║
╠═════════════════════╬══════════════╬════════════════════╣
║ #f ║ "Fizz" ║ (number->string n) ║
╚═════════════════════╩══════════════╩════════════════════╝)

https://gist.github.com/nilp0inter/24b39c8372a90c92cea7e681162701d2
4
Category Theory in Programming

https://docs.racket-lang.org/ctp/index.html
👍2🔥1
Forwarded from Mathematics Channel
😁4👍1👀1
The PageRank algorithm.

From Hastie, Tibshirani and Friedman's The Elements of Statistical Learning (2009)
🔥4
George Polya, Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving (1962)
🔥3🤡1
George Polya, Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving (1962)
🤡1
Felleisen, Findler et.al, How to Design Programs (2018)
👏3🤡1
Preface to Felleisen, Findler et.al, How to Design Programs (2018)
4👏1🤡1
This book does teach how to have recursive thinking as your second nature, without even directly talking about recursion per se.

Friedman & Felleisen, The Little Schemer (1987)
3🤡3
🤡1