Fórum Root.cz

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.

Muze.

Citace od: Haskell Guru kdy 13. 03. 2018, 18:57:55
Muze.

Nemůže.

Citace od: Jester kdy 13. 03. 2018, 19:06:30

Citace od: Haskell Guru kdy 13. 03. 2018, 18:57:55
Muze.

Nemůže.

Mozna

Citace od: DK kdy 13. 03. 2018, 20:15:58

Citace od: Jester kdy 13. 03. 2018, 19:06:30

Citace od: Haskell Guru kdy 13. 03. 2018, 18:57:55
Muze.

Nemůže.

Mozna

To v matematice neexistuje.

Zajdi s tim na kozni.

Citace od: Haskeller kdy 13. 03. 2018, 17:46:45
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.