Explore >> Select a destination
|
You are here 
|
whyevolutionistrue.com | ||
| | | | |
4gravitons.com
|
|
| | | | | Merging quantum mechanics and gravity is a famously hard physics problem. Explaining why merging quantum mechanics and gravity is hard is, in turn, a very hard science communication problem. The more popular descriptions tend to lead to misunderstandings, and I've posted many times over the years to chip away at those misunderstandings. Merging quantum mechanics... | |
| | | | |
backreaction.blogspot.com
|
|
| | | | | Science News, Physics, Science, Philosophy, Philosophy of Science | |
| | | | |
jembendell.com
|
|
| | | | | This essay is the first in a series on aspects of free will and consciousness, and the implications for how we live in a metacrisis that, understandably, challenges our assumptions, beliefs and emotions. I show how the increasingly popularised view that science has disproved relative free will is actually neither true nor scientific. I critique... | |
| | | | |
math.andrej.com
|
|
| | | [AI summary] The discussion revolves around the nuances of proof methods in constructive mathematics, particularly the distinction between proof by contradiction and proof by negation. Key points include the definition of irrational numbers without relying on the law of excluded middle, the use of contrapositive in proofs, and the limitations of certain classical theorems like the intermediate value theorem in constructive settings. The conversation also touches on the philosophical and practical implications of these proof methods in both classical and intuitionistic logic, as well as the role of type theory and univalent foundations in modern mathematical proofs. | ||
