Entscheidungsproblem
experiment
verification
Turing degree
arguendo
Löb's theorem
Schrödinger's cat
abductive reasoning
reason
undecideable
Church-Turing thesis
equisatisfiable
semidecision
assert
Münchhausen trilemma
valid
provide
Turing jump
formulaicness
computable
deduction
judgment call
zero-knowledge
Davis-Putnam algorithm
computability theory
law
syllogistic
decideable
and
telling
Allais paradox
cast out nines
standardization
with good reason
incorrect
faulty
determining
wrong
determinant
determinative
field-test
deciding
decisory
complete
trier of fact
runtime error
proof
semantic error
sort
conjecture
code review
run-time error
well-founded
fingerprinting
field test
tenable
infinite descent
generalization
screen out
sieve
screen
calculate
given
computing
tough-minded
computation
unsentimental
estoppel
claim
calculation
zero-knowledge proof
logic
practical
straight
check
learn
reliabilism
see
determine
apodeictic
Gettier intuition
sequent calculus
ascertain
preponderance of the evidence
substantiation
validation
watch
is-ought problem
find out
convincing
try
factor out
mathematical logic
appeal
critical thinking
factor
means test
reasoning backward
factor in
undecideable
equisatisfiable
valid
computable
zero-knowledge
decideable
incorrect
faulty
determining
wrong
determinant
determinative
deciding
decisory
complete
well-founded
tenable
tough-minded
unsentimental
straight
apodeictic
arguendo
Entscheidungsproblem
experiment
verification
Turing degree
Schrödinger's cat
abductive reasoning
semidecision
assert
Turing jump
formulaicness
deduction
judgment call
computability theory
law
syllogistic
telling
standardization
trier of fact
runtime error
proof
semantic error
conjecture
code review
run-time error
fingerprinting
field test
infinite descent
generalization
given
computing
computation
estoppel
claim
calculation
zero-knowledge proof
logic
practical
reliabilism
Gettier intuition
sequent calculus
preponderance of the evidence
substantiation
validation
is-ought problem
convincing
mathematical logic
critical thinking
reasoning backward
reason
provide
cast out nines
field-test
sort
screen out
sieve
screen
calculate
check
learn
see
determine
ascertain
watch
find out
try
factor out
appeal
factor
means test
factor in
noun
- Any hypothetical situation whose circumstances make it impossible to see which among two contrary propositions is correct, especially if the situation is expected to be analysed from the point of view of quantum mechanics.
- A hypothetical cat that is depicted as being surrounded by perfectly uncertain circumstances that make an external observer absolutely unable to deem the cat either alive or dead, especially if the possibilities of survival of the cat are expected to be analysed from the point of view of quantum mechanics. Typically, these circumstances involve the cat being inside a box while being the victim of a danger that may or may not kill it, such as radiation.
name
- A Schrödinger's cat (a hypothetical cat that may or may not be dead) in particular, especially when implied to be the only Schrödinger's cat in the world.
- The thought experiment which was devised by Erwin Schrödinger, is usually considered a paradox, involves a Schrödinger's cat and is typically supposed to be analysed from the point of view of quantum mechanics.
verb
- To find by logical process; to explain or justify by reason or argument.
- To support with reasons, as a request.
- To arrange and present the reasons for or against; to examine or discuss by arguments; to debate or discuss.
- To persuade by reasoning or argument.
- To deduce or come to a conclusion by being rational
- To overcome or conquer by adducing reasons.
- To perform a process of deduction or of induction, in order to convince or to confute; to argue.
noun
- That which causes something: an efficient cause, a proximate cause.
- An excuse: a thought or a consideration offered in support of a determination or an opinion; that which is offered or accepted as an explanation.
- A premise placed after its conclusion.
- A motive for an action or a determination.
- Rational thinking (or the capacity for it); the cognitive faculties, collectively, of conception, judgment, deduction and intuition.
noun
verb
- He would often assert that there was life on other planets.
- To maintain or defend, as a cause or a claim, by words or measures; to vindicate a claim or title to
- To insist on the legitimacy of one's rights, opinion, etc; not to allow oneself to be dismissed; to ensure that one is taken into consideration; to make oneself respected; to be assertive.
- To use or exercise and thereby prove the existence of.
- To set a signal on a line using a voltage or electric current.
- To specify that a condition or expression is true at a certain point in the code.
- To declare with assurance or plainly and strongly; to state positively.
adj
- Of a formula or system: such that it evaluates to true regardless of the input values.
- Well grounded or justifiable, pertinent.
- Of an argument: whose conclusion is always true whenever its premises are true.
- Genuine - as distinguished from efficient or regular - sacrament.
- Related to the current topic, or presented within context, relevant.
- Acceptable, proper or correct; in accordance with the rules.
verb
- determine (what is to happen in certain contingencies), especially by including a proviso condition or stipulation
- give something useful or necessary to
- give what is desired or needed, especially support, food or sustenance
- mount or put up
- make a possibility or provide opportunity for; permit to be attainable or cause to remain
- supply means of subsistence; earn a living
- take measures in preparation for
adj
noun
- A process of reasoning that moves from the general to the specific, in which a conclusion follows necessarily from the premises presented, so that the conclusion cannot be false if the premises are true.
- A conclusion; that which is deduced, concluded or figured out
- The ability or skill to deduce or figure out; the power of reason
- That which is deducted; that which is subtracted or removed
- A sum that can be removed from tax calculations; something that is written off
noun
- Any decision or other determination based on subjective criteria, especially one which takes into account the particular circumstances of a situation.
- A ruling by an umpire, referee, or similar official during a sporting event, based on his or her perception of events and in the absence of any objective measurement.
- The summons which will call the spirits of the deceased to their heavenly reward at the time of Final Judgment.
noun
- A statement (of relation) that is true under specified conditions; a mathematical or logical rule.
- Any statement of the relation of acts and conditions to their consequences.
- A person or group that act(s) with authority to uphold such rules and order (for example, one or more police officers).
- The body of such rules that pertain to a particular topic.
- A mode of operation of the flight controls of a fly-by-wire aircraft.
- The body of binding rules and regulations, customs, and standards established in a community by its legislative and judicial authorities.
- The profession that deals with such rules (as lawyers, judges, police officers, etc).
- Common law, as contrasted with equity.
- Jurisprudence, the field of knowledge which encompasses these rules.
- One of two metaphysical forces ruling the world in some fantasy settings, also called order, and opposed to chaos.
- Litigation; legal action (as a means of maintaining or restoring order, redressing wrongs, etc).
- A rule or principle regarding the construction of language or art.
- An allowance of distance or time (a head start) given to a weaker (human or animal) competitor in a race, to make the race more fair.
- Any rule that must or should be obeyed, concerning behaviours and their consequences. (Compare mores.)
- A statement (in physics, etc) of an (observed, established) order or sequence or relationship of phenomena which is invariable under certain conditions. (Compare theory.)
- A binding regulation or custom established in a community in this way.
- The control and order brought about by the observance of such rules.
- One of the official rules of cricket as codified by the its (former) governing body, the MCC.
- An oath sworn before a court, especially disclaiming a debt. (Chiefly in the phrases "wager of law", "wage one's law", "perform one's law", "lose one's law".)
- A sound law; a regular change in the pronunciation of a language.
verb
conj
- connecting two well-formed formulas to create a well formed formula that requires the new formula to only be true when each of the two are true.
- Introducing a parenthetical or explanatory clause.
- If; provided that.
- Used to connect more than two elements together in a chain, sometimes to stress the number of elements.
- Used to connect certain numbers: connecting units when they precede tens (not dated); connecting tens and units to hundreds, thousands etc. (now often omitted in US); to connect fractions to wholes.
- Simply connecting two clauses or sentences.
- Connecting two identical elements, with implications of continued or infinite repetition.
- Introducing a qualitative difference between things having the same name; "as well as other".
- Used simply to connect two noun phrases, adjectives or adverbs.
- Used to combine numbers in addition; plus (with singular or plural verb).
- Introducing a clause or sentence which follows on in time or consequence from the first.
- Introducing the continuation of narration from a previous understood point; also used alone as a question: ‘and so what?’.
- Used to connect two verbs where the second is dependent on the first: ‘to’. Used especially after come, go and try.
verb
noun
adj
- characterized by errors; not agreeing with a model or not following established rules
- not appropriate for a purpose or occasion
- not functioning properly
- not in accord with established usage or procedure
- used of the side of cloth or clothing intended to face inward
- badly timed
adv
noun
- that which is contrary to the principles of justice or law
- any harm or injury resulting from a violation of a legal right
verb
adj
adj
- In which every semantically valid well-formed formula is provable.
- In which every set with a lower bound has a greatest lower bound.
- That is in a given complexity class and is such that every other problem in the class can be reduced to it (usually in polynomial time or logarithmic space).
- In which every Cauchy sequence converges to a point within the space.
- Generic intensifier.
- In which all small limits exist.
- With all parts included; with nothing missing; full.
- Finished; ended; concluded; completed.
noun
verb
noun
- A sequence of statements consisting of axioms, assumptions, statements already demonstrated in another proof, and statements that logically follow from previous statements in the sequence, and which concludes with a statement that is the object of the proof.
- A process for testing the accuracy of an operation performed. Compare prove, transitive verb, 5.
- The quality or state of having been proved or tried; firmness or hardness which resists impression, or does not yield to force; impenetrability of physical bodies.
- The degree of evidence which convinces the mind of any truth or fact, and produces belief; a test by facts or arguments which induce, or tend to induce, certainty of the judgment; conclusive evidence; demonstration.
- A measure of the alcohol content of liquor. Originally, in Britain, 100 proof was defined as 57.1% by volume (no longer used). In the US, 100 proof means that the alcohol content is 50% of the total volume of the liquid; thus, absolute alcohol would be 200 proof.
- A limited-run high-quality strike of a particular coin, originally as a test run, although nowadays mostly for collectors' sets.
- A proof sheet; a trial impression, as from type, taken for correction or examination.
- An effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial.
adj
- Firm or successful in resisting.
- Being of a certain standard as to alcohol content.
- Used in proving or testing.
verb
- To make resistant, especially to water.
- To test-fire with a load considerably more powerful than the firearm in question's rated maximum chamber pressure, in order to establish the firearm's ability to withstand pressures well in excess of those expected in service without bursting.
- To proofread.
- To test the activeness of yeast.
- To allow yeast-containing dough to rise.
verb
noun
noun
- A proof, axiom, problem, or definition that includes another's cases, and also some additional cases; a conclusion reached by inferring from specific cases to more general cases or principles.
- An oversimplified or exaggerated conception, opinion, or image of the members of a group.
- An act or instance of generalizing; concluding that something true of a subclass is true of the entire class
- Inductive reasoning from detailed facts to general principles
- The formulation of general concepts from specific instances by abstracting common properties.
verb
- examine in order to test suitability
- test or examine for the presence of disease or infection
- examine methodically
- project onto a screen for viewing
- prevent from entering
- separate with a riddle, as grain from chaff
- protect, hide, or conceal from danger or harm
noun
- a white or silvered surface where pictures can be projected for viewing
- a protective covering that keeps things out or hinders sight
- the display that is electronically created on the surface of the large end of a cathode-ray tube
- a covering that serves to conceal or shelter something
- a protective covering consisting of netting; can be mounted in a frame
- the personnel of the film industry
- a strainer for separating lumps from powdered material or grading particles
- partition consisting of a decorative frame or panel that serves to divide a space
verb
- To determine values or solutions by a mathematical process; reckon.
- To determine the value of something or the solution to something by a mathematical process.
- To plan; to expect; to think.
- To adjust for purpose; to adapt by forethought or calculation; to fit or prepare by the adaptation of means to an end.
- To ascertain or predict by mathematical or astrological computations the time, circumstances, or other conditions of; to forecast or compute the character or consequences of.
- To imagine sequences of potential moves and responses without actually moving the pieces.
noun
- A new statement of something one believes to be the truth, usually when the statement has yet to be verified or without valid evidence provided.
- The right or ground of demanding.
- The thing claimed.
- A demand of ownership for previously unowned land.
- A demand of ownership made for something.
- A legal demand for compensation or damages.
verb
- To be entitled to anything; to deduce a right or title; to have a claim.
- To cause the loss of, usually by violent means.
- To demand ownership of.
- To demand ownership or right to use for land.
- To state a new fact, typically without providing evidence to prove it is true.
- To demand compensation or damages through the courts.
noun
- The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- It's hard to work out his system of logic.
- The study of the principles and criteria of valid inference and demonstration.
- The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- 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.
- A formal or informal language together with a deductive system or a model-theoretic semantics.
- Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
adj
verb
noun
- A part of an exam or series of exams in which the candidate has to demonstrate their practical ability
- A prop that has some degree of functionality, rather than being a mere imitation.
- A light fixture used for set lighting and seen in the frame of a shot as part of the scenery.
- Laboratory experiment, test or investigation
adj
- Light fixtures used for set lighting and seen in the frame of a shot as part of the scenery.
- Being likely to be effective and applicable to a real situation; able to be put to use.
- Of a prop: having some degree of functionality, rather than being a mere imitation.
- Of a person, having skills or knowledge that are practical.
- Relating to, or based on, practice or action rather than theory or hypothesis.
adj
- following a correct or logical method
- successive (without a break)
- erect in posture
- in keeping with the facts
- neatly arranged; not disorderly
- not homosexual
- accurately fitted; level
- without evasion or compromise
- (of an alcoholic drink) without water
- rigidly conventional or old-fashioned
adv
- without deviation
- in a forthright manner; candidly or frankly
- in a straight line; in a direct course
adj
- having no deviations
- (of hair) having no waves or curls
- characterized by honesty and fairness
- no longer coiled
- free from curves or angles
noun
verb
- find out, learn, or determine with certainty, usually by making an inquiry or other effort
- examine so as to determine accuracy, quality, or condition
- make an examination or investigation
- be careful or certain to do something; make certain of something
- lessen the intensity of; temper; hold in restraint; hold or keep within limits
- stop for a moment, as if out of uncertainty or caution
- put a check mark on or near or next to
- slow the growth or development of
- be verified or confirmed; pass inspection
- be compatible, similar or consistent; coincide in their characteristics
- block or impede (a player from the opposing team) in ice hockey
- develop (a child's or animal's) behavior by instruction and practice; especially to teach self-control
- consign for shipment on a vehicle
- hand over something to somebody as for temporary safekeeping
- abandon the intended prey, turn, and pursue an inferior prey
- stop in a chase especially when scent is lost
- mark into squares or draw squares on; draw crossed lines on
- decline to initiate betting
- hold back, as of a danger or an enemy; check the expansion or influence of
- place into check
- write out a check on a bank account
- verify by consulting a source or authority
- arrest the motion (of something) abruptly
- make cracks or chinks in
- become fractured; break or crack on the surface only
noun
- a written order directing a bank to pay money
- an appraisal of the state of affairs
- the bill in a restaurant
- the state of inactivity following an interruption
- additional proof that something that was believed (some fact or hypothesis or theory) is correct
- the act of inspecting or verifying
- a mark indicating that something has been noted or completed etc.
- something immaterial that interferes with or delays action or progress
- a mark left after a small piece has been chopped or broken off of something
- a textile pattern of squares or crossed lines (resembling a checkerboard)
- the act of restraining power or action or limiting excess
- obstructing an opponent in ice hockey
- (chess) a direct attack on an opponent's king
verb
- find out, learn, or determine with certainty, usually by making an inquiry or other effort
- perceive by sight or have the power to perceive by sight
- perceive (an idea or situation) mentally
- perceive or be contemporaneous with
- imagine; conceive of; see in one's mind
- deem to be
- get to know or become aware of, usually accidentally
- see or watch
- come together
- be careful or certain to do something; make certain of something
- go to see for professional or business reasons
- go to see for a social visit
- go to see a place, as for entertainment
- take charge of or deal with
- receive as a specified guest
- date regularly; have a steady relationship with
- see and understand, have a good eye
- deliberate or decide
- observe as if with an eye
- observe, check out, and look over carefully or inspect
- undergo or live through a difficult experience
- conduct someone someplace
- match or meet
- make sense of; assign a meaning to
noun
verb
- find out, learn, or determine with certainty, usually by making an inquiry or other effort
- establish after a calculation, investigation, experiment, survey, or study
- shape or influence; give direction to
- fix conclusively or authoritatively
- decide upon or fix definitely
- reach, make, or come to a decision about something
- fix in scope; fix the boundaries of
- settle conclusively; come to terms
verb
- find out, learn, or determine with certainty, usually by making an inquiry or other effort
- look attentively
- follow with the eyes or the mind
- see or watch
- observe with attention
- be vigilant, be on the lookout or be careful
- observe or determine by looking
noun
- a small portable timepiece
- a period of time (4 or 2 hours) during which some of a ship's crew are on duty
- a purposeful surveillance to guard or observe
- the period during which someone (especially a guard) is on duty
- a person employed to keep watch for some anticipated event
- the rite of staying awake for devotional purposes (especially on the eve of a religious festival)
verb
- To prove by experiment; to apply a test to, for the purpose of determining the quality; to examine; to prove; to test.
- To test someone's patience.
- To put on trial.
- To want
- To put to test.
- To attempt; to endeavour. Followed by infinitive.
- To lie to in heavy weather under just sufficient sail to head into the wind.
- To receive an imminent attack; to take.
- To attempt to determine (by experiment or effort).
- To work on something with one's best effort and focus.
- To settle; to decide; to determine; specifically, to decide by an appeal to arms.
- To attempt to conceive a child.
- To strain; to subject to excessive tests.
- To taste, sample, etc.
- To have or gain knowledge of by experience.
- To make an experiment. Usually followed by a present participle.
noun
verb
- challenge (a decision)
- take a court case to a higher court for review
- request earnestly (something from somebody); ask for aid or protection
- be attractive to
- cite as an authority; resort to
noun
- earnest or urgent request
- attractiveness that interests or pleases or stimulates
- (law) a legal proceeding in which the appellant resorts to a higher court for the purpose of obtaining a review of a lower court decision and a reversal of the lower court's judgment or the granting of a new trial
- request for a sum of money
verb
noun
- anything that contributes causally to a result
- an abstract part of something
- one of two or more integers that can be exactly divided into another integer
- a businessman who buys or sells for another in exchange for a commission
- any of the numbers (or symbols) that form a product when multiplied together
- an independent variable in statistics
- (genetics) a segment of DNA that is involved in producing a polypeptide chain; it can include regions preceding and following the coding DNA as well as introns between the exons; it is considered a unit of heredity
English words for 'A decision problem of finding a way to decide whether a formula is true or provable within a given system.'
As you may have noticed, above you will find words for "A decision problem of finding a way to decide whether a formula is true or provable within a given system.". Hover the mouse over the word you'd like to know more about to view its definition. Click 
to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.
Recent Queries
outmoded.
instinctive
mischance.
SEO
foster sister
To amplify
by right
gleaming
leech
niche
two wheels
Adult
to be overgrown
mortal combat
brewery
a traveller
playing to the gallery
to teach someone a lesson
steering wheel
in the rear.
sulphuric acid
retrieves game from land or water
videodisc
A preacher
Like a chump
gapingly
impalement
short squeeze
good friend
referring to
requester
pain in the neck
doing well
betrayal.
everyday occurrence
extortionate.
cabinetmaker
occurrence.
HPV
full of
gastroenteritis
fish trap
desk
to carry off
moulding
station
fatigue
sage
frankly
often