Λ-kalkulus a mohutnost možných výrazů

Haskeller

Λ-kalkulus a mohutnost možných výrazů
« kdy: 13. 03. 2018, 17:46:45 »
Zdravím, mám teoretickou otázku, když uvažuju teorie v typovaném λ-kalkulu, může být množina všech pravdivých výrazů (vzhledem k modelům) nespočetná? Příslušná literatura se na tom neshodne.


Haskell Guru

Re:Λ-kalkulus a mohutnost možných výrazů
« Odpověď #1 kdy: 13. 03. 2018, 18:57:55 »
Muze.

Jester

Re:Λ-kalkulus a mohutnost možných výrazů
« Odpověď #2 kdy: 13. 03. 2018, 19:06:30 »


Jester



Youda

Re:Λ-kalkulus a mohutnost možných výrazů
« Odpověď #5 kdy: 14. 03. 2018, 07:06:51 »
Zajdi s tim na kozni.

Jester

Re:Λ-kalkulus a mohutnost možných výrazů
« Odpověď #6 kdy: 14. 03. 2018, 07:29:51 »
uvažuju teorie v typovaném λ-kalkulu, může být množina všech pravdivých výrazů (vzhledem k modelům) nespočetná?
Bezesporná teorie má vždy spočetný model. Některé mají i nespočetné modely, ale ne všechny.