potpunost

potpunost

A (logical) language is said to be complete if and only if all the formulas in the language that must be true (in any world in which the axioms of the language are true) can be proved from the axioms. Godel’s incompleteness theorem shows that any language in which the truths of basic arithmetic can be formulated cannot be complete (unless the number of axioms is infinite).

0 0

Улучшить

Добавить изображение

Часть речи: имя существительное
Синоним(ы):
Словарь:
Отрасль/сфера деятельности: Философия
Категория: Общие философские термины
Company:
Продукт:
Акроним-сокращение:

Дополнительно

Добавить в My Glossary (мой глоссарий)

Выбрать другой язык:

Дополнительно

Что вы хотите сказать?

Просмотреть похожие термины

potpunost (imenica, Računovodstveni, revizija)

Бухгалтерия; Аудит

Tvrdnje o cjelovitosti posla s li su sve transakcije i računi koje bi trebale biti u financijskim izvještajima uključeni. Na primjer, za upravljanje tvrdi da su sve nabave roba i ...

nominalistički

Философия; Общие философские термины

In the middle ages, someone who maintained that there wer no universals above and beyond particular individual things and words (marks on paper) in particular languages. See ...

naturalizam

Философия; Общие философские термины

In ethics and politics, the view that ethical judgements are descriptive and objective when properly made: that ethical terms could be replaced by obviously descriptive terms, as ...

metafizika

Философия; Общие философские термины

Traditionally, the attempt to determine what general sorts of things there are in the universe (particularly those of a basic, non-reducible sort). But to do this is also to ...

idealizam

Философия; Общие философские термины

The theory that the external world is fundamentally immaterial and a dimension of the mind. That is, reality is of the nature of mind or consciousness (non-material). There are ...

logički empirista

Философия; Общие философские термины

A term for those 20th century philosophers who maintain that empiricism is right on purely logical (not psychological) grounds. Empiricism becomes a theory about the meaning of ...