Traduzioni di „intuicjonistyczny“ nel dizionario polacco » tedesco

intuicjonistyczny [intuitsjoɲistɨtʃnɨ] AGG FILOS

intuicjonistyczny

intuitionistisch

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung f

Esempi per intuicjonistyczny

intuicjonistyczny pogląd na świat

intuitionistische Weltanschauung f

Esempi monolingue (non verificati dalla Redazione di PONS)

polacco

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