But Why Is Proof by Contradiction Non-Constructive? – XOR’s Hammer - discu.eu

Linking pages

Linked pages

A Geometrically Natural Uncomputable Function – XOR’s Hammer https://xorshammer.com/2008/09/04/a-geometrically-natural-uncomputable-function/ 25 comments
Opinions of Doron Zeilberger http://www.math.rutgers.edu/~zeilberg/OPINIONS.html 24 comments
Theorem of the Day http://www.theoremoftheday.org/index.php 16 comments
What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao https://terrytao.wordpress.com/ 5 comments
A Suite of Cool Logic Programs – XOR’s Hammer http://xorshammer.com/2009/05/14/a-suite-of-cool-logic-programs 4 comments
The n-Category Café http://golem.ph.utexas.edu/category/ 0 comments
A Logical Interpretation of Some Bits of Topology – XOR’s Hammer http://xorshammer.com/2011/07/09/a-logical-interpretation-of-some-bits-of-topology/ 0 comments
COMMENTARY ON WORLD, US, AND SCIENTIFIC AFFAIRS (12-Aug-2008) http://www-formal.stanford.edu/jmc/commentary.html 0 comments
bit-player | An amateur's outlook on computation and mathematics http://bit-player.org/ 0 comments
[1805.07518] Affine logic for constructive mathematics https://arxiv.org/abs/1805.07518 0 comments

Related searches:

Search whole site: site:xorshammer.com

Search title: But Why Is Proof by Contradiction Non-Constructive? – XOR’s Hammer

See how to search.

Submit link to: