Work

A theorem with constructive and non-constructive proofs

Year: 2012

Type: preprint

Abstract: We present a very simple example of a theorem with constructive and non-constructive proofs: the equation c^2 x^2 - (c^2 + c)x + c = 0 has a solution.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1211.0442

Author: Gaspar, Jaime

Language: English

Topic: History and Theory of Mathematics

Subfield: Theoretical Computer Science

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1597906128

Cites:

Cited by:

Related to: 20