Search Results for ""

The term used in propositional calculus for the NOR connective. The notation AvB is used for this connective.

Curry (1977, p. 5) uses the term pseudoparadox to describe an apparent paradox, such as the catalogue paradox, for which there is no underlying actual contradiction.

Even though real arithmetic is uncountable, it possesses a countable "model."

A paradox or contradiction.

The process of taking the complement of a set or truth function. In the latter case, complementation is equivalent to the NOT operation.

Monster-barring is a term coined by Lakatos (1976) to refer to the refining of a hypothesis to rule out nasty counterexamples (Bailey et al. 2007, p. 11).

A condition which must hold for a result to be true, but which does not guarantee it to be true. If a condition is both necessary and sufficient, then the result is said to ...

A retraction is a continuous map of a space onto a subspace leaving each point of the subspace fixed. Alternatively, retraction can refer to withdrawal of a paper containing ...

For a right triangle with legs a and b and hypotenuse c, a^2+b^2=c^2. (1) Many different proofs exist for this most fundamental of all geometric theorems. The theorem can ...

It is possible to find six points in the plane, no three on a line and no four on a circle (i.e., none of which are collinear or concyclic), such that all the mutual ...