Translations for „intuicjonistyczny“ in the Polish » German Dictionary

intuicjonistyczny [intuitsjoɲistɨtʃnɨ] ADJ PHILOS

intuicjonistyczny

intuitionistisch

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung f

Usage examples with intuicjonistyczny

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung f

Monolingual examples (not verified by PONS Editors)

Polish

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