Domande taggate «curry-howard»


1
Verifica se una prova arbitraria è circolare?
Stavo pensando alle prove e mi sono imbattuto in un'osservazione interessante. Quindi le prove sono equivalenti ai programmi tramite l'isomorfismo di Curry-Howard e le prove circolari corrispondono a ricorsioni infinite. Ma dall'interruzione del problema sappiamo che, in generale, verificare se un programma arbitrario ricorre per sempre è indecidibile. Secondo Curry-Howard, …


Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.