Parole in English per 'Relating to axioms.'
Sopra trovi parole correlate a "Relating to axioms.". Porta il focus o il cursore su una parola per vedere la definizione.
Risultati di ricerca
noun
- (logic) An axiom.
- Something assumed without proof as being self-evident or generally accepted, especially when used as a basis for an argument. Sometimes distinguished from axioms as being relevant to a particular science or context, rather than universally true, and following from other axioms rather than being an absolute assumption.
- A fundamental element; a basic principle.
- A requirement; a prerequisite.
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
adj
verb
- (ambitransitive, Christianity, historical) To appoint or request one's appointment to an ecclesiastical office.
- To assume as a truthful or accurate premise or axiom, especially as a basis of an argument.
- take as a given; assume as a postulate or axiom
- maintain or assert
- require as useful, just, or proper
noun
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- the branch of philosophy that analyzes inference
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
adj
- not capable of being decided as following or not following from the axioms of a logical system
- (mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
- (mathematics) (of a WFF) logically independent from the axioms of a given theory; i.e., that it can never be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
noun
- (set theory) Initialism of axiom of choice.
- Initialism of air corps.
- Initialism of aviation cadet.
- Initialism of athletic club.
- (roleplaying games) Initialism of armor class.
- (biochemistry) Initialism of adenylyl cyclase.
- (prison) Initialism of administrative custody.
- (autism, psychology) singular of ACs (“autistics and cousins”).
- (US, military) Initialism of Auxiliary Collier (a naval coal transport that travels with the fleet to provide coal for coal-powered warships).
- (electricity) Initialism of alternating current (often used to indicate an alternating potential rather than a current).
- Initialism of access control.
- Initialism of army corps.
- (medicine) Initialism of adjuvant chemotherapy.
- (Australia) Companion of the Order of Australia.
- (electricity, informal, by extension) supply of electric energy via a public electricity grid
- Initialism of author's correction.
- (geography) Initialism of autonomous county.
- Initialism of aircraftman.
- (Anglicanism) Anglo-Catholic.
- (finance) Initialism of account current.
- (anatomy) Initialism of anterior chamber.
- (music, radio) Initialism of adult contemporary (a radio format).
- Initialism of air conditioning.
- (chemistry) Initialism of ammonium chloride.
- Initialism of area code.
- Initialism of automobile club.
- (UK, law enforcement) Initialism of assistant commissioner, a police rank used in London's Metropolitan Police.
- (aviation) Initialism of absolute ceiling.
- an electric current that reverses direction sinusoidally
adj
adv
name
phrase
noun
- an intuitive assumption
- the act of making up your mind about something
- the act of ending something
- the last section of a communication
- a position or opinion or judgment reached after consideration
- a final settlement
- the temporal end; the concluding time
- the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
- event whose occurrence ends something
- arrangement; settlement.
- (logic) In an argument or syllogism, the proposition that follows as a necessary consequence of the premises.
- A decision reached after careful thought.
- The end, finish, close or last part of something.
- (law) An estoppel or bar by which a person is held to a particular position.
- (law) The end or close of a pleading, for example, the formal ending of an indictment, "against the peace", etc.
- The outcome or result of a process or act.
noun
- (mathematics, philosophy) A proof.
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- proof by a process of argument or a series of proposition proving an asserted conclusion
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
noun
adj
name
noun
- (set theory) Ellipsis of axiom of choice.
- An option; a decision; an opportunity to choose or select something.
- One selection or preference; that which is chosen or decided; the outcome of a decision.
- (uncountable) The power to choose.
- (usually with the) The best or most preferable part.
- Anything that can be chosen.
- one of a number of things from which only one can be chosen
- the person or thing chosen or selected
- the act of choosing or selecting
adj
intj
noun
- one of the substantive phrases in a logical proposition
- a limited period of time
- the end of gestation or point at which birth is imminent
- any distinct quantity contained in a polynomial
- a word or expression used for some particular thing
- (usually plural) a statement of what is required as part of an agreement
- (architecture) a statue or a human bust or an animal carved out of the top of a square pillar; originally used as a boundary marker in ancient Rome
- A chronological limitation or restriction, a limited timespan.
- (astrology) An essential dignity in which unequal segments of every astrological sign have internal rulerships which affect the power and integrity of each planet in a natal chart.
- Part of a year, especially one of the divisions of an academic year.
- (mathematics) Any value (variable or constant) or expression separated from another term by a space or an appropriate character, in an overall expression or table.
- Specifically, the conditions in a legal contract that specify the price and also how and when payment must be made.
- A word or phrase (e.g., noun phrase, verb phrase, open compound), especially one from a specialised area of knowledge; a name for a concept.
- (of a patent) The maximum period during which the patent can be maintained into force.
- (logic) The subject or the predicate of a proposition; one of the three component parts of a syllogism, each one of which is used twice.
- Certain days on which rent is paid.
- Any of the binding conditions or promises in a legal contract.
- (computing, informal) A computer program that emulates a physical terminal.
- (nautical) A piece of carved work placed under each end of the taffrail.
- One whose employment has been terminated
- That which limits the extent of anything; limit, extremity, bound, boundary, terminus.
- (art) A statue of the upper body, sometimes without the arms, ending in a pillar or pedestal.
- The time during which legal courts are open.
- With respect to a pregnancy, the usual duration of gestation for the given species (for example, nine months in humans); (metonymic) the end of this duration: the timepoint at which birth usually happens (for example, in humans, approximately 40 weeks from conception), defining the due date.
- Duration of officeholding, or its limit; period in office of fixed length.
- Relations among people.
verb
adj
noun
- (logic) One of the propositions making up a syllogism.
- Part of an animal capable of performing a distinct office; an organ; a limb.
- (Australia, law) the judge or adjudicator in a consumer court.
- (object-oriented programming) A function or piece of data associated with each separate instance of a class.
- (mathematics) Either of the two parts of an algebraic equation, connected by the equality sign.
- (set theory) An element of a set.
- (euphemistic) The penis.
- One who belongs to a group.
- A part of a whole.
- A part of a discourse or of a period, sentence, or verse; a clause.
- (computing) A file stored within an archive file.
- the male sex organ
- one of the persons who compose a social group (especially individuals who have joined and participate in a group organization)
- an external body part that projects from the body
- anything that belongs to a set or class
- an organization that is a member of another organization (especially a state that belongs to a group of nations)
noun
- a conventionalized statement expressing some fundamental principle
- a representation of a substance using symbols for its constituent elements
- directions for making something
- (mathematics) a standard procedure for solving a class of mathematical problems
- a liquid food for infants
- a group of symbols that make a mathematical statement
- something regarded as a normative example
- (chemistry) A symbolic expression of the structure of a compound.
- (chiefly linguistics) A fixed phrase or set of words intended to be interpreted non-literally, typically used attitudinally or as part of convention; a formulation.
- (especially religion) A formal statement of doctrine.
- A formulation; a prescription; a mixture or solution made in a prescribed manner; the identity and quantities of ingredients of such a mixture.
- A plan or method for dealing with a problem or for achieving a result.
- (countable, uncountable) Ellipsis of infant formula, drink given to babies to substitute for mother's milk.
- (logic) A syntactic expression of a proposition, built up from quantifiers, logical connectives, variables, relation and operation symbols, and, depending on the type of logic, possibly other operators such as modal, temporal, deontic or epistemic ones.
- (mathematics) Any mathematical rule expressed symbolically.
phrase
- Initialism of to be derived.
- Initialism of to be deducted.
- Initialism of to be declared.
- Initialism of to be decided.
- Initialism of to be developed.
- Initialism of to be discovered.
- Initialism of to be done.
- Initialism of to be destroyed.
- Initialism of to be dated.
- Initialism of to be disclosed.
- Initialism of to be delivered.
- Initialism of to be discussed.
- Initialism of to be defined.
- Initialism of to be documented.
- Initialism of to be determined.
- Initialism of to be designed.
noun
noun
- (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
- a harmonious uniformity or agreement among things or parts
- logical coherence and accordance with the facts
- the property of holding together and retaining its shape
- Reliability or uniformity; the quality of being consistent.
- Correspondence or compatibility.
- The degree of viscosity of something.
- Local coherence.
- (logic) Freedom from contradiction; the state of a system of axioms such that none of the propositions deduced from them are mutually contradictory.
noun
- (philosophy) The theory that knowledge may be derived by deductions from a priori concepts (such as axioms, postulates or earlier deductions).
- (philosophy) The theory that reason is a source of knowledge independent of and superior to sense perception.
- A view that the fundamental method for problem solving is through reason and experience rather than faith, inspiration, revelation, intuition or authority.
- Elaboration of theories by use of reason alone without appeal to experience, such as in mathematical systems.
- the doctrine that reason is the right basis for regulating conduct
- the theological doctrine that human reason rather than divine revelation establishes religious truth
- (philosophy) the doctrine that knowledge is acquired by reason without resort to experience
noun
- (logic) The logical operation which obtains such (negated) propositions.
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
- (logic) a proposition that is true if and only if another proposition is false
noun
- (logic) An axiom.
- Something assumed without proof as being self-evident or generally accepted, especially when used as a basis for an argument. Sometimes distinguished from axioms as being relevant to a particular science or context, rather than universally true, and following from other axioms rather than being an absolute assumption.
- A fundamental element; a basic principle.
- A requirement; a prerequisite.
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
adj
verb
- (ambitransitive, Christianity, historical) To appoint or request one's appointment to an ecclesiastical office.
- To assume as a truthful or accurate premise or axiom, especially as a basis of an argument.
- take as a given; assume as a postulate or axiom
- maintain or assert
- require as useful, just, or proper
noun
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- the branch of philosophy that analyzes inference
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
noun
- (set theory) Initialism of axiom of choice.
- Initialism of air corps.
- Initialism of aviation cadet.
- Initialism of athletic club.
- (roleplaying games) Initialism of armor class.
- (biochemistry) Initialism of adenylyl cyclase.
- (prison) Initialism of administrative custody.
- (autism, psychology) singular of ACs (“autistics and cousins”).
- (US, military) Initialism of Auxiliary Collier (a naval coal transport that travels with the fleet to provide coal for coal-powered warships).
- (electricity) Initialism of alternating current (often used to indicate an alternating potential rather than a current).
- Initialism of access control.
- Initialism of army corps.
- (medicine) Initialism of adjuvant chemotherapy.
- (Australia) Companion of the Order of Australia.
- (electricity, informal, by extension) supply of electric energy via a public electricity grid
- Initialism of author's correction.
- (geography) Initialism of autonomous county.
- Initialism of aircraftman.
- (Anglicanism) Anglo-Catholic.
- (finance) Initialism of account current.
- (anatomy) Initialism of anterior chamber.
- (music, radio) Initialism of adult contemporary (a radio format).
- Initialism of air conditioning.
- (chemistry) Initialism of ammonium chloride.
- Initialism of area code.
- Initialism of automobile club.
- (UK, law enforcement) Initialism of assistant commissioner, a police rank used in London's Metropolitan Police.
- (aviation) Initialism of absolute ceiling.
- an electric current that reverses direction sinusoidally
adj
adv
name
phrase
noun
- an intuitive assumption
- the act of making up your mind about something
- the act of ending something
- the last section of a communication
- a position or opinion or judgment reached after consideration
- a final settlement
- the temporal end; the concluding time
- the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
- event whose occurrence ends something
- arrangement; settlement.
- (logic) In an argument or syllogism, the proposition that follows as a necessary consequence of the premises.
- A decision reached after careful thought.
- The end, finish, close or last part of something.
- (law) An estoppel or bar by which a person is held to a particular position.
- (law) The end or close of a pleading, for example, the formal ending of an indictment, "against the peace", etc.
- The outcome or result of a process or act.
noun
- (mathematics, philosophy) A proof.
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- proof by a process of argument or a series of proposition proving an asserted conclusion
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
noun
adj
name
noun
- (set theory) Ellipsis of axiom of choice.
- An option; a decision; an opportunity to choose or select something.
- One selection or preference; that which is chosen or decided; the outcome of a decision.
- (uncountable) The power to choose.
- (usually with the) The best or most preferable part.
- Anything that can be chosen.
- one of a number of things from which only one can be chosen
- the person or thing chosen or selected
- the act of choosing or selecting
adj
intj
noun
- one of the substantive phrases in a logical proposition
- a limited period of time
- the end of gestation or point at which birth is imminent
- any distinct quantity contained in a polynomial
- a word or expression used for some particular thing
- (usually plural) a statement of what is required as part of an agreement
- (architecture) a statue or a human bust or an animal carved out of the top of a square pillar; originally used as a boundary marker in ancient Rome
- A chronological limitation or restriction, a limited timespan.
- (astrology) An essential dignity in which unequal segments of every astrological sign have internal rulerships which affect the power and integrity of each planet in a natal chart.
- Part of a year, especially one of the divisions of an academic year.
- (mathematics) Any value (variable or constant) or expression separated from another term by a space or an appropriate character, in an overall expression or table.
- Specifically, the conditions in a legal contract that specify the price and also how and when payment must be made.
- A word or phrase (e.g., noun phrase, verb phrase, open compound), especially one from a specialised area of knowledge; a name for a concept.
- (of a patent) The maximum period during which the patent can be maintained into force.
- (logic) The subject or the predicate of a proposition; one of the three component parts of a syllogism, each one of which is used twice.
- Certain days on which rent is paid.
- Any of the binding conditions or promises in a legal contract.
- (computing, informal) A computer program that emulates a physical terminal.
- (nautical) A piece of carved work placed under each end of the taffrail.
- One whose employment has been terminated
- That which limits the extent of anything; limit, extremity, bound, boundary, terminus.
- (art) A statue of the upper body, sometimes without the arms, ending in a pillar or pedestal.
- The time during which legal courts are open.
- With respect to a pregnancy, the usual duration of gestation for the given species (for example, nine months in humans); (metonymic) the end of this duration: the timepoint at which birth usually happens (for example, in humans, approximately 40 weeks from conception), defining the due date.
- Duration of officeholding, or its limit; period in office of fixed length.
- Relations among people.
verb
adj
noun
- (logic) One of the propositions making up a syllogism.
- Part of an animal capable of performing a distinct office; an organ; a limb.
- (Australia, law) the judge or adjudicator in a consumer court.
- (object-oriented programming) A function or piece of data associated with each separate instance of a class.
- (mathematics) Either of the two parts of an algebraic equation, connected by the equality sign.
- (set theory) An element of a set.
- (euphemistic) The penis.
- One who belongs to a group.
- A part of a whole.
- A part of a discourse or of a period, sentence, or verse; a clause.
- (computing) A file stored within an archive file.
- the male sex organ
- one of the persons who compose a social group (especially individuals who have joined and participate in a group organization)
- an external body part that projects from the body
- anything that belongs to a set or class
- an organization that is a member of another organization (especially a state that belongs to a group of nations)
noun
- a conventionalized statement expressing some fundamental principle
- a representation of a substance using symbols for its constituent elements
- directions for making something
- (mathematics) a standard procedure for solving a class of mathematical problems
- a liquid food for infants
- a group of symbols that make a mathematical statement
- something regarded as a normative example
- (chemistry) A symbolic expression of the structure of a compound.
- (chiefly linguistics) A fixed phrase or set of words intended to be interpreted non-literally, typically used attitudinally or as part of convention; a formulation.
- (especially religion) A formal statement of doctrine.
- A formulation; a prescription; a mixture or solution made in a prescribed manner; the identity and quantities of ingredients of such a mixture.
- A plan or method for dealing with a problem or for achieving a result.
- (countable, uncountable) Ellipsis of infant formula, drink given to babies to substitute for mother's milk.
- (logic) A syntactic expression of a proposition, built up from quantifiers, logical connectives, variables, relation and operation symbols, and, depending on the type of logic, possibly other operators such as modal, temporal, deontic or epistemic ones.
- (mathematics) Any mathematical rule expressed symbolically.
noun
- (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
- a harmonious uniformity or agreement among things or parts
- logical coherence and accordance with the facts
- the property of holding together and retaining its shape
- Reliability or uniformity; the quality of being consistent.
- Correspondence or compatibility.
- The degree of viscosity of something.
- Local coherence.
- (logic) Freedom from contradiction; the state of a system of axioms such that none of the propositions deduced from them are mutually contradictory.
noun
- (philosophy) The theory that knowledge may be derived by deductions from a priori concepts (such as axioms, postulates or earlier deductions).
- (philosophy) The theory that reason is a source of knowledge independent of and superior to sense perception.
- A view that the fundamental method for problem solving is through reason and experience rather than faith, inspiration, revelation, intuition or authority.
- Elaboration of theories by use of reason alone without appeal to experience, such as in mathematical systems.
- the doctrine that reason is the right basis for regulating conduct
- the theological doctrine that human reason rather than divine revelation establishes religious truth
- (philosophy) the doctrine that knowledge is acquired by reason without resort to experience
noun
- (logic) The logical operation which obtains such (negated) propositions.
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
- (logic) a proposition that is true if and only if another proposition is false
adj
- not capable of being decided as following or not following from the axioms of a logical system
- (mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
- (mathematics) (of a WFF) logically independent from the axioms of a given theory; i.e., that it can never be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)