Explore >> Select a destination
|
You are here 
|
www.logicmatters.net | ||
| | | | |
xorshammer.com
|
|
| | | | | We think of a proof as being non-constructive if it proves "There exists an $latex x$ such that $latex P(x)$ without ever actually exhibiting such an $latex x$. If you want to form a system of mathematics where all proofs are constructive, one thing you can do is remove the principle of proof by contradiction:... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I was interviewed by The Human Podcast on 17 May 2024. Please enjoy our sweeping conversation about nature of infinity, the nature of abstract mathematical existence, the applicability of mathemati... | |
| | | | |
xmlguru.cz
|
|
| | | Blogosphere has been full of speculations about when and if ever Microsoft will support ISO/IEC29500 format in MS Office. Some people believe and wish that OpenOffice.org with ISO/IEC29500 support will be released earlier then MS Office. But don't get fooled, the first application conforming to ISO/IEC29500 is out, it is neither MS Office nor OpenOffice.org, it is coming from Free Software Foundation and you can see screenshots here. | ||
