Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: Haskeller 13. 03. 2018, 17:46:45

Název: Λ-kalkulus a mohutnost možných výrazů
Přispěvatel: Haskeller 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.

Název: Re:Λ-kalkulus a mohutnost možných výrazů
Přispěvatel: Haskell Guru 13. 03. 2018, 18:57:55

Muze.

Název: Re:Λ-kalkulus a mohutnost možných výrazů
Přispěvatel: Jester 13. 03. 2018, 19:06:30

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

Muze.

Nemůže.

Název: Re:Λ-kalkulus a mohutnost možných výrazů
Přispěvatel: DK 13. 03. 2018, 20:15:58

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

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

Muze.

Nemůže.

Mozna

Název: Re:Λ-kalkulus a mohutnost možných výrazů
Přispěvatel: Jester 13. 03. 2018, 22:29:58

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

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

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

Muze.

Nemůže.

Mozna

To v matematice neexistuje.

Název: Re:Λ-kalkulus a mohutnost možných výrazů
Přispěvatel: Youda 14. 03. 2018, 07:06:51

Zajdi s tim na kozni.

Název: Re:Λ-kalkulus a mohutnost možných výrazů
Přispěvatel: Jester 14. 03. 2018, 07:29:51

Citace: Haskeller  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.