комплетност

комплетност

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 (мой глоссарий)

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

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

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

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

контингент

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

A sentence proposition, thought or judgment is contingent if it is true of this actual world, though it is not true in all possible worlds. Some philosophers claim that ...

семантика

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

Семантиката е дел од лингвистиката што се занимава со значењето на зборовите и нивната функција во реченицата. Генерално гледано, семантиката е гранка на лингвистиката која го ...

тавтологија

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

A non-atomic, or molecular, proposition that is true no matter what the assignment of truth value to the atomic propositions that it contains. Example: “p or not-p”. This ...

реалист

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

Generally, someone who claims that various sorts of things that are not realized completely in our (sensory) experience are real. The things in question might be, e. G. : numbers, ...

синтетички

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

A sentence, proposition, thought, or judgment is synthetic if it is neither logically (analytically) true, or false; generally, synthetic claims are said to be empirical in that ...

супстанција

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

What underlies the various qualities of an object. In the later tradition substance comes to be considered a transcendent notion.

Термины в новостях

Особые термины

zocipro

0
Terms
0
Глоссарии
18
Followers

Отрасль/сфера деятельности: Праздники Категория: Неофициальные праздники

Големиот американски Smokeout

Гледано секоја година од 1977 година, големиот американски Smokeout се одвива на третиот четврток од ноември. Спонзорирано од Американското здружение ...