(Seemingly) Impossible Theorems in Constructive Mathematics

04/12/2019
by   Hannes Diener, et al.
0

We prove some constructive results that on first and maybe even on second glance seem impossible.

READ FULL TEXT
research
05/04/2022

Constructive Analysis in the Agda Proof Assistant

Proof assistant software has recently been used to verify proofs of majo...
research
08/07/2021

Nonexistence of a Universal Algorithm for Traveling Salesman Problems in Constructive Mathematics

Proposed initially from a practical circumstance, the traveling salesman...
research
03/22/2021

Functional Pearl: Witness Me – Constructive Arguments Must Be Guided with Concrete Witness

Beloved Curry–Howard correspondence tells that types are intuitionistic ...
research
05/25/2019

On the Constructive Truth and Falsity in Peano Arithmetic

Recently, Artemov [4] offered the notion of constructive consistency for...
research
04/26/2018

Biology is a constructive physics

Yuri Manin's approach to Zipf's law (Kolmogorov complexity as energy) is...
research
04/08/2023

No-Existence Of Generalize Diffusion

We show that given two arbitrary states |ψ⟩,|ϕ⟩ it is impossible to comp...
research
04/19/2022

Sharing and Caring: Creating a Culture of Constructive Criticism in Computational Legal Studies

We introduce seven foundational principles for creating a culture of con...

Please sign up or login with your details

Forgot password? Click here to reset