Prevodi za „intuicjonistyczny“ v slovarju poljsko » nemški

intuicjonistyczny [intuitsjoɲistɨtʃnɨ] PRID. FILOZ.

intuicjonistyczny

intuitionistisch

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung ž. spol

Primeri uporabe besede intuicjonistyczny

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung ž. spol

Enojezični primeri (nepregledani od uredništva PONS)

poljščina

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