Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
mycqstate.wordpress.com
|
|
| | | | | This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... | |
| | | | |
ncatlab.org
|
|
| | | | | [AI summary] The nLab entry explores philosophical aspects of mathematics, including metaphysics, foundational issues, and historical paradigms, with references to key thinkers and texts. | |
| | | | |
www.thebigquestions.com
|
|
| | | | | ||
| | | | |
www.pl-enthusiast.net
|
|
| | | This blog post is the first in my series on secure computationand will be presented in two parts. It briefly introduces some work my collaborators and I published this year, which illustrates a pleasant application of programming languages ideas to ... Continue reading ? | ||
