A General Constructive Proof Technique | Zendy

Douglas Bridges | Zendy; Luminiţa Vı̂ţă | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A General Constructive Proof Technique

Author(s) -

Douglas Bridges,

Luminiţa Vı̂ţă

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.06.032

Subject(s) - constructive proof , constructive , computer assisted proof , mathematics , proof of concept , calculus (dental) , proof theory , analytic proof , proof complexity , structural proof theory , algebra over a field , pure mathematics , mathematical proof , computer science , discrete mathematics , geometry , programming language , process (computing) , medicine , dentistry , operating system

In the constructive theory of uniform spaces there occurs a technique of proof in which the application of a weak form of the law of excluded middle is circumvented by purely analytic means. The essence of this proof–technique is extracted and then applied to three important problems in the theory of apartness and uniformity

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research