Skip to main content

Search This Blog

Categorically Speaking

Posts

Showing posts with the label Martin-Löf Type Theory

Do Angels Dream of Recursive Symbol Systems?

Get link
Facebook
X
Pinterest
Email
Other Apps

Martin-Löf and the Problem of Everything

Get link
Facebook
X
Pinterest
Email
Other Apps

Older Posts Home

Powered by Blogger

victoria macias: Working at the intersection of logic, formal epistemology, and decision theory, with an interest in how we model uncertainty, normativity, and rational belief.

Archive

September 20251
August 20251
June 20251
May 202510
April 20254

Labels

Aesthetics2
Anselm1
Autonomy4
Blogging About Blogging1
Clarity1
Curry-Howard1
Decision Theory1
Dependent Types2
Dutch Book Arguments1
Epistemic Humility1

Show more Show less

Report Abuse