Math 2.0

Brouwer–Hilbert controversy

This page lists the items of the Wikipedia article Brouwer–Hilbert controversy in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1363412426, with the assessment C/Low.

OutcomeItems
deferred4
node2

The gap signals of the article are S1,S5,S6,S8,S9.

ItemKindNameOutcomeNodesReason
subjectdefinitionBrouwer–Hilbert controversydeferred until 2027-05-01the item has the flag informal (WP9.2)
#219KstatementValidity of the law of excluded middledeferred until 2027-05-01the heading names a part of the text and not one item
#2VZOproofHilbert's quest for a generalized proof of consistency of the axioms of arithmeticnode (adopted)Proof of the law of excluded middle extended to the infinite
#AR48statementTruth of axiomsdeferred until 2027-05-01the heading names a group of items
#CQIJstatementThe law of excluded middle extended to the infinitenode (adopted)The law of excluded middle extended to the infinite
#OZ9GstatementObjections related to the law of the excluded middle and inductiondeferred until 2027-05-01the heading names more than one item

Refer to Wikipedia articles and their nodes for the other articles.