Explore >> Select a destination
|
You are here 
|
pressron.wordpress.com | ||
| | | | |
math.andrej.com
|
|
| | | | | [AI summary] The discussion revolves around the philosophical and methodological pluralism in mathematics, emphasizing that mathematics is a human-made construct with historical developments rather than an absolute, universal truth. Key points include the idea that different mathematical frameworks (e.g., classical vs. intuitionistic logic, paraconsistent logic) represent distinct 'worlds' of mathematics, each with its own standards and validity. The conversation highlights the importance of acknowledging these pluralistic perspectives without assuming a single, unifying foundation. It also touches on the role of context, the evolution of mathematical concepts, and the implications of relativism for the future of mathematics. The discussion underscores that ... | |
| | | | |
existentialtype.wordpress.com
|
|
| | | | | The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity. The doctrine of computational trinitarianism holds that computation manifests itself in three forms: proofs of propositions, programs of a type, and mappings between... | |
| | | | |
scottaaronson.blog
|
|
| | | | | Over at Theoretical Computer Science StackExchange, an entertaining debate has erupted about the meaning and validity of the Church-Turing Thesis. The prompt for this debate was a question asking for opinions about Peter Wegner and Dina Goldin's repetitive diatribes claiming to refute "the myth of the Church-Turing Thesis"---on the grounds that, you see, Turing machines... | |
| | | | |
www.greaterwrong.com
|
|
| | | I moved the big meta-level comment thread from "Yes Requires the Possibility of No" over to here, since it seemed mostly unrelated to that top-level post. This not being on frontpage also makes it easier for people to just directly discuss the moderation and meta-level norms. | ||
