Prevodi za „aksjomatyzacja“ u rečniku poljski » nemački

aksjomatyzacja <gen ‑ji, no pl > [aksjomatɨzatsja] N f MATH

aksjomatyzacja

Axiomatisierung f

Jednojezični primeri (nisu ih verifikovali PONS urednici)

poljski

Dla jednej teorii może istnieć wiele różnych systemów formalnych (aksjomatyzacji), przybliżających ją lepiej lub gorzej.

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

Aksjomatyzacja pojęcia równości generuje bardzo dużo aksjomatów – potrzebne są trzy aksjomaty: zwrotności, przechodniości i symetrii, oraz przede wszystkim aksjomat dla każdej pozycji każdej relacji i funkcji w algebrze.

pl.wikipedia.org

Była to także pierwsza próba aksjomatyzacji podstaw całej matematyki.

pl.wikipedia.org

Wszystkie te pojęcia są zwykle definiowane jako podzbiory danej przestrzeni liniowej (z wyjątkiem przestrzeni afinicznych, które uważa się za „przestrzenie liniowe bez początku”), a nie poprzez ich niezależną aksjomatyzację.

pl.wikipedia.org

Proces formalizacji składa się z dwóch etapów: (1) aksjomatyzacji rachunku oraz (2) określenia reguł wyprowadzania z aksjomatów tez rachunku zdań.

pl.wikipedia.org

Ponadto dokonał ogromnego dzieła aksjomatyzacji teorii fizycznej, zwłaszcza mechaniki kwantowej.

pl.wikipedia.org

W zależności od kontekstu, istnieje wiele różnych formalnych sposobów aksjomatyzacji teorii oczekiwanej użyteczności.

pl.wikipedia.org

Miał wielki wpływ na rozwój logiki matematycznej i aksjomatyzację arytmetyki.

pl.wikipedia.org

Aksjomatyzacja teorii mnogości była częściowo motywowana potrzebą uniknięcia paradoksów formułowanych w początkowym okresie rozwoju teorii.

pl.wikipedia.org