(φ (μ (λ)))


Channel's geo and language: not specified, not specified
Category: not specified


Uncovering underlying intersections between philosophy (φ), mathematics (μ) and logic (λ).
Other embeddings include:
- Computing
- Cognitive Science
- Linguistics
- Statistics

@DivyaRanjan1905

Related channels  |  Similar channels

Channel's geo and language
not specified, not specified
Category
not specified
Statistics
Posts filter




Forward from: Kei Lambda | Stash
Video is unavailable for watching
Show in Telegram
Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones

https://youtu.be/uR_VzYxvbxg


Forward from: A Math Book
The_Blackwell_guide_to_the_philosophy_of_computing_and_information.pdf
1.7Mb
The Blackwell Guide to the Philosophy of Computing and Information ( Luciano Floridi ). Blackwell Publishing 2004


Forward from: A Math Book
The Blackwell Guide to the Philosophy of Computing and Information ( Luciano Floridi ). Blackwell Publishing 2004


Forward from: A Math Book
The Routledge Handbook of Philosophy of Information.pdf
23.6Mb
The Routledge Handbook of Philosophy of Information ( Luciano Floridi ). Routledge 2016


Forward from: A Math Book
The Routledge Handbook of Philosophy of Information ( Luciano Floridi ). Routledge 2016


Forward from: A Math Book
Elements Of Information Theory.pdf
10.1Mb
Elements of Information Theory ( Thomas Cover & Joy Thomas ), 2nd edition. Wiley 2006


Forward from: A Math Book
Elements of Information Theory ( Thomas Cover & Joy Thomas ), 2nd edition. Wiley 2006


https://iv.ggtyler.dev/watch?v=UmppZ_SnfiE
Working for the public. Universities, software and freedom (Pisa, Italy, 2023)
Working for the public. Universities, software and freedom (Pisa, Italy, 2023) By: Richard Stallman Host(s): Maria Chiara Pievatolo, Marco Calamari, Francesco Potortì Organizer: Department of Political Science, University of Pisa Recorded by: Mediaventi Team, University of Pisa Thanks to: Dani...




https://iv.ggtyler.dev/watch?v=yBtyNIqZios
Ian Clarke Explains the Next Generation of Freenet
The centralization of the internet poses a fundamental threat to individual freedom. In 2023, a few corporations control most internet services and infrastructure, wielding immense power with little accountability. This threatens democracy, as these corporations can censor content, exploit our data,...


Forward from: Symptoms
Studies_in_Logic_and_the_Foundations_of_Mathematics,_Volume_3_Curry.pdf
2.7Mb
Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics (1951)


Forward from: Symptoms






My org notes on it


Church's λ-calculus in Andrew Hodges' Alan Turing: The Enigma (1983)


Clifton Fadiman - Fantasia Mathematica (1997).pdf
24.0Mb
(ed.) Clinton Fadiman, Fantasia Mathematica (1958)




Forward from: Kei's notes
As long as our hypothetical Blub programmer is looking down the power continuum, he knows he's looking down. Languages less powerful than Blub are obviously less powerful, because they're missing some feature he's used to. But when our hypothetical Blub programmer looks in the other direction, up the power continuum, he doesn't realize he's looking up. What he sees are merely weird languages. He probably considers them about equivalent in power to Blub, but with all this other hairy stuff thrown in as well. Blub is good enough for him, because he thinks in Blub.

Excerpt from "Beating the Averages".

20 last posts shown.

35

subscribers
Channel statistics