Yapılandırmacı mantık, Hariç Tutulan Orta Yasasını ve Çifte Olumsuzluğu aksiyom olarak kaldıran bir sistemdir. Burada ve burada Vikipedi'de tanımlanmıştır . Özellikle, sistem çelişki ile ispatlamaya izin vermez.
Merak ediyorum, bunun Turing Makineleri ve biçimsel dillerle ilgili sonuçları nasıl etkilediğini bilen var mı? Bir dilin kararsız olduğu hemen hemen her ispatın çelişki ile ispata dayandığının farkındayım. Hem Köşegenleştirme argümanı hem de bir indirgeme kavramı bu şekilde çalışır. Kararsız bir dilin varlığının “yapıcı” bir kanıtı olabilir mi ve eğer öyleyse, nasıl görünürdü?
EDIT: Açık olmak gerekirse, yapılandırmacı mantıktaki çelişkiyle ispat anlayışım yanlıştı ve cevaplar bunu netleştirdi.