комплетност

комплетност

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

Improve it

Add an image

Part of Speech: noun
Synonym(s):
Blossary:
Industry/Domain: Philosophy
Category: General philosophy
Company:
Product:
Acronym-Abbreviation:

Collect to Blossary

Other Languages:

Related terms

контингент

Philosophy; General philosophy

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 ...

семантика

Philosophy; General philosophy

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

тавтологија

Philosophy; General philosophy

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 ...

реалист

Philosophy; General philosophy

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, ...

синтетички

Philosophy; General philosophy

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 ...

супстанција

Philosophy; General philosophy

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

Terms in the News

Featured Terms

ane.red

0
Terms
0
Blossaries
4
Followers

Industry/Domain: Fruits & vegetables Category: Fruits

краставица

A long, green, cylinder-shaped member of the gourd family with edible seeds surrounded by mild, crisp flesh. Used for making pickles and usually eaten ...