Tłumaczenia dla hasła „intuicjonistyczny“ w polsko » niemiecki słowniku

intuicjonistyczny [intuitsjoɲistɨtʃnɨ] PRZYM. FIL.

intuicjonistyczny

intuitionistisch

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung r.ż.

Przykładowe zdania ze słowem intuicjonistyczny

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung r.ż.

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

polski

Udało mu się między innymi zrekonstruować w duchu intuicjonizmu (tj. bez wykorzystania prawa wyłączonego środka) część teorii mnogości, teorii funkcji, podał nawet intuicjonistyczny dowód zasadniczego twierdzenia algebry.

pl.wikipedia.org

Na przykład w logice intuicjonistycznej jest nią „uzasadnienie”.

pl.wikipedia.org

Podstawową cechą logiki intuicjonistycznej jest założenie, że prawdziwość zdania jest oparta na istnieniu dla niego dowodu, a nie na wartościowaniu poszczególnych jego składowych.

pl.wikipedia.org

Logika intuicjonistyczna używa tej samej składni, co logika klasyczna.

pl.wikipedia.org

Logika intuicjonistyczna (konstruktywna) – system logiczny oparty na filozoficznej koncepcji intuicjonizmu.

pl.wikipedia.org

Przyczynił się do powstania podstaw logiki intuicjonistycznej, czyniąc z tej ostatniej dział logiki matematycznej.

pl.wikipedia.org

Przykłady dowodu w systemie formalnym klasycznego rachunku zdań znaleźć można w artykule dot. intuicjonistycznego rachunku zdań.

pl.wikipedia.org

Również jako jeden z pierwszych zaproponował formalny rachunek logiki parakonsystentnej, a ponadto był pionierem w badaniu zarówno logiki intuicjonistycznej, jak i logiki wolnej.

pl.wikipedia.org