Traductions de „logicyzm“ dans le dictionnaire polonais » allemand

logicyzm <gén ‑u, loc ‑zmie, sans pl > [logitsɨsm] SUBST m MATH

logicyzm

Logizismus m

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

polonais

Współcześnie logicyzm został wchłonięty w warstwie technicznej przez formalizm który stanowi wraz z aksjomatyką teorii mnogości paradygmat rozwojowy podstaw matematyki, przynajmniej w zakresie przedstawiania wiedzy i edukacji.

pl.wikipedia.org

Intuicjonizm stoi w niejakiej opozycji w stosunku do poglądów upatrujących sensu twierdzeń matematycznych wyłącznie w ich wyprowadzalności z aksjomatów, jak logicyzm, a zwłaszcza formalizm.

pl.wikipedia.org

Różnica pomiędzy logicyzmem a formalizmem polega na tym, że logicyzm nie wypowiada się na temat znaczenia pojęć pozalogicznych używanych do konstrukcji matematyki.

pl.wikipedia.org

Logicyzm głosi, że wszystkie twierdzenia matematyki można, posługując się definicjami i regułami logicznymi, zredukować do logiki.

pl.wikipedia.org

Logicyzm to kierunek w filozofii matematyki, zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań (porównaj logika).

pl.wikipedia.org

Sprzeczność ta stanowiła duży cios dla rozwoju logicyzmu, będącego próbą aksjomatyzacji matematyki, zgodnie z którym wszystkie obiekty matematyczne powinny dać się wyrazić jako zbiory.

pl.wikipedia.org

Z drugiej strony był twórcą nowego filozoficzno-matematycznego programu – logicyzmu, który pojęcia matematyki sprowadzał do pojęć logicznych, a twierdzenia matematyczne wyprowadzał z zasad logicznych.

pl.wikipedia.org

Logicyzm odegrał znaczącą rolę w tworzeniu podstaw matematyki współczesnej.

pl.wikipedia.org