Explore >> Select a destination
|
You are here 
|
inferentialexpressivism.com | ||
| | | | |
ssaassl.blogspot.com
|
|
| | | | | Harmonizable Fractional Stable Motion: simultaneous estimators for both parameters Date: 8 August 2023, Tuesday Time: 1pm AEST Statistic... | |
| | | | |
www.logicmatters.net
|
|
| | | | | Logical notes and papers Some logical blog pieces Philosophy of maths: a reading list Does mathematics need a philosophy? Philosophical logic: five books from the back catalogue On Frege seeing what is in front of his nose. Begriffsschrift and absolutely unrestricted quantification What Frege didnt tell you Tarski on Truth, a thumbnail sketch Partial functions [] | |
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a talk for the Philosophy of Mathematics Seminar at the University of Oxford, 19 May 2025. Abstract.I shall describe a simple historicalthought experiment showing how our a... | |
| | | | |
xorshammer.com
|
|
| | | There are many functions from $latex \mathbb{N}$ to $latex \mathbb{N}$ that cannot be computed by any algorithm or computer program. For example, a famous one is the halting problem, defined by $latex f(n) = 0$ if the $latex n$th Turing machine halts and $latex f(n) = 1$ if the $latex n$th Turing machine does not... | ||
