Domande taggate «constructive-mathematics»

3
Algoritmi costruttivamente efficienti senza efficiente correttezza e prova di efficienza
Sto cercando esempi naturali di algoritmi efficienti (cioè in tempi polinomiali) st la loro correttezza ed efficienza possono essere dimostrate in modo costruttivo (ad es. in o ), maPR APRUNPRAHUNHUNHA non è nota alcuna prova che utilizza solo concetti efficienti (ovvero non sappiamo come dimostrarne la correttezza e l'efficienza in …
1
Uguaglianza delle prove decidibili?
Voglio sapere se la decidibilità dell'uguaglianza di due prove decidibili della stessa proposizione può essere dimostrata senza ulteriori assiomi nel calcolo delle costruzioni induttive. In particolare, voglio sapere se questo è vero senza ulteriori assiomi in Coq. ∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1= p2} ∨ { p1≠ p2} )∀P:Prop,P∨¬P⇒(∀p1:P,∀p2:P,{p1=p2}∨{p1≠p2})\forall P: \texttt{Prop}, P \vee \neg P …
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.