-
1 imposibilidad de toma de decisiones
(n.) = undecidabilityEx. The article is entitled 'Complexity, decidability and undecidability results for domain-independent planning'.* * *(n.) = undecidabilityEx: The article is entitled 'Complexity, decidability and undecidability results for domain-independent planning'.
Spanish-English dictionary > imposibilidad de toma de decisiones
-
2 decisión
f.decision, determination, decisiveness, firmness.* * *1 (resolución) decision2 (determinación) determination, resolution* * *noun f.decision, choice* * *SF1) (=determinación) decision; (Jur) judgmenttomar una decisión — to make o take a decision
2) (=firmeza) decisiveness3) (=voluntad) determination* * *a) ( acción) decisionllegar a una decisión — to decide, to reach a decision
decisión de + inf: su decisión de marcharse — her decision to leave
b) ( cualidad) decisiveness, decisionuna mujer con decisión — a decisive woman, a woman of decision
c) (AmL) ( en boxeo)ganó por decisión — he won on points o by a decision
* * *= choice, decision, determination, resolution.Ex. To rectify failures, the librarian has two choices.Ex. However, once a decision has been made to group similar types of entries other difficulties emerge in defining the categories.Ex. Instead of fighting words with a dogged determination, he got to like them.Ex. The Economic and Social Committee and the European Parliament will use it to broadcast their opinions and resolutions.----* aceptar una decisión = accept + decision.* adoptar una decisión = adopt + decision.* a favor de la decisión personal sobre el aborto = pro-choice.* afectar a una decisión = colour + decision, affect + decision.* alcanzar una decisión = arrive at + decision.* apoyo a la toma de decisiones = decision support.* árbol para la toma de decisiones = decision tree.* buena decisión = good judgement.* con decisión = decisively.* decisión arbitraria = arbitrary decision.* decisión con conocimiento de causa = informed decision.* decisión de adoptar = decision to adopt.* decisión de última hora = last-minute decision.* decisión fundada = informed decision.* decisión irrevocable = irrevocable decision.* decisión no unánime = split decision.* decisión permanente = permanent arrangement.* decisión precipitada ante un problema = crisis decision.* decisión sobre qué política de actuación seguir = policy decision.* delegar una decisión = delegate + decision.* imposibilidad de toma de decisiones = undecidability.* llegar a una decisión = arrive at + decision.* llevar a la práctica una decisión = implement + decision.* llevar a tomar una decisión = lead (up) to + decision.* mala decisión = bad judgement.* necesitar tomar cierto tipo de decisiones = require + judgement, require + an exercise of + judgement.* persona que toma la última decisión = decider.* por decisión propia = by choice.* posibilidad de toma de decisiones = decidability.* reclamar una decisión = appeal + decision.* regir una decisión = govern + decision.* responsable de tomar decisiones = decision maker [decision-maker].* ser decisión de + Nombre = be down to + Nombre.* sistema de apoyo a la toma de decisiones = decision support system, decision making system.* toma de decisiones = decision making [decision-making], decision taking.* toma de decisiones con conocimiento de causa = informed decision making.* toma de decisiones fundadas = informed decision making.* tomar decisión = make + choices.* tomar decisiones = exercise + judgement.* tomar decisiones con conocimiento de causa = make + informed decisions.* tomar decisiones fundadas = make + informed decisions.* tomar decisiones por alguien = take + decisions in + Posesivo + name.* tomar la decisión más acertada dadas las circunstancias = do + the best thing in the circumstances.* tomar las decisiones = call + the shots, be the boss, call + the tune, rule + the roost, set + the agenda.* tomar otra decisión = decision to the contrary.* tomar una decisión = make + decision, make + judgement, take + decision, reach + decision, make up + Posesivo + (own) mind, adopt + decision.* tomar una decisión sin conocer todos los datos = make + uninformed decision.* tomar una decisión sin consultar con nadie = take it upon + Reflexivo + to.* * *a) ( acción) decisionllegar a una decisión — to decide, to reach a decision
decisión de + inf: su decisión de marcharse — her decision to leave
b) ( cualidad) decisiveness, decisionuna mujer con decisión — a decisive woman, a woman of decision
c) (AmL) ( en boxeo)ganó por decisión — he won on points o by a decision
* * *= choice, decision, determination, resolution.Ex: To rectify failures, the librarian has two choices.
Ex: However, once a decision has been made to group similar types of entries other difficulties emerge in defining the categories.Ex: Instead of fighting words with a dogged determination, he got to like them.Ex: The Economic and Social Committee and the European Parliament will use it to broadcast their opinions and resolutions.* aceptar una decisión = accept + decision.* adoptar una decisión = adopt + decision.* a favor de la decisión personal sobre el aborto = pro-choice.* afectar a una decisión = colour + decision, affect + decision.* alcanzar una decisión = arrive at + decision.* apoyo a la toma de decisiones = decision support.* árbol para la toma de decisiones = decision tree.* buena decisión = good judgement.* con decisión = decisively.* decisión arbitraria = arbitrary decision.* decisión con conocimiento de causa = informed decision.* decisión de adoptar = decision to adopt.* decisión de última hora = last-minute decision.* decisión fundada = informed decision.* decisión irrevocable = irrevocable decision.* decisión no unánime = split decision.* decisión permanente = permanent arrangement.* decisión precipitada ante un problema = crisis decision.* decisión sobre qué política de actuación seguir = policy decision.* delegar una decisión = delegate + decision.* imposibilidad de toma de decisiones = undecidability.* llegar a una decisión = arrive at + decision.* llevar a la práctica una decisión = implement + decision.* llevar a tomar una decisión = lead (up) to + decision.* mala decisión = bad judgement.* necesitar tomar cierto tipo de decisiones = require + judgement, require + an exercise of + judgement.* persona que toma la última decisión = decider.* por decisión propia = by choice.* posibilidad de toma de decisiones = decidability.* reclamar una decisión = appeal + decision.* regir una decisión = govern + decision.* responsable de tomar decisiones = decision maker [decision-maker].* ser decisión de + Nombre = be down to + Nombre.* sistema de apoyo a la toma de decisiones = decision support system, decision making system.* toma de decisiones = decision making [decision-making], decision taking.* toma de decisiones con conocimiento de causa = informed decision making.* toma de decisiones fundadas = informed decision making.* tomar decisión = make + choices.* tomar decisiones = exercise + judgement.* tomar decisiones con conocimiento de causa = make + informed decisions.* tomar decisiones fundadas = make + informed decisions.* tomar decisiones por alguien = take + decisions in + Posesivo + name.* tomar la decisión más acertada dadas las circunstancias = do + the best thing in the circumstances.* tomar las decisiones = call + the shots, be the boss, call + the tune, rule + the roost, set + the agenda.* tomar otra decisión = decision to the contrary.* tomar una decisión = make + decision, make + judgement, take + decision, reach + decision, make up + Posesivo + (own) mind, adopt + decision.* tomar una decisión sin conocer todos los datos = make + uninformed decision.* tomar una decisión sin consultar con nadie = take it upon + Reflexivo + to.* * *1 (acción) decisionla decisión está en tus manos the decision is in your handstienes que tomar una decisión you must make o take a decision, you must make your mind upno han podido llegar a una decisión they haven't been able to decide o reach a decisiondecisión DE + INF:su decisión de marcharse her decision to leave2 (cualidad) decisiveness, decisionuna mujer de decisión a decisive woman, a woman of decision3* * *
decisión sustantivo femenino
su decisión de marcharse her decision to leave
c) (AmL) ( en boxeo):◊ ganó por decisión he won on points o by a decision
decisión sustantivo femenino
1 decision: es hora de tomar una decisión, it's time to make a decision
2 (firmeza) decisiveness: entró en el despacho con decisión, he marched into the office
' decisión' also found in these entries:
Spanish:
acertada
- acertado
- cacicada
- competer
- comunicar
- concernir
- condicionante
- contravenir
- debilitar
- decididamente
- declararse
- determinar
- determinación
- detrimento
- ecuánime
- enérgica
- enérgico
- final
- impugnar
- juicio
- madurar
- mando
- pensar
- posponer
- precedente
- prórroga
- prorrogar
- providencia
- provocar
- ratificar
- resolución
- sabia
- sabio
- salomónica
- salomónico
- terminante
- última
- último
- unánime
- unitaria
- unitario
- ventolera
- acierto
- adoptar
- anunciar
- apresurado
- arbitraje
- atinado
- caliente
- demorar
English:
accord
- agonizing
- ambit
- appeal
- arguable
- astute
- breathing space
- clash
- clean-cut
- clear
- contest
- decide
- decision
- decision making
- early
- entail
- far-reaching
- fight
- final
- go against
- govern
- hasty
- hinge on
- ill-advised
- make
- override
- overrule
- pending
- question
- rash
- rationale
- resolve
- reverse
- ruling
- second thought
- sensible
- shrewd
- smart
- snap
- spur
- stand by
- take
- unanimous
- vital
- wise
- withhold
- adamant
- agonize
- altogether
- approve
* * *decisión nf1. [dictamen, resolución] decision;la decisión está en nuestras manos the decision is in our hands;la decisión de expulsarlo no depende de mí whether he should be expelled or not is not my decision;tomar una decisión to make o take a decision;tomó la decisión de no ir she decided not to godecisión judicial court ruling2. [firmeza de carácter] determination, resolve;[seguridad, resolución] decisiveness;actuar con decisión to act decisively;es una persona con muy poca decisión he's a very indecisive person* * *f1 decision;tomar una decisión make o take a decision2 figdecisiveness* * ** * *decisión n1. (en general) decision2. (determinación) determination -
3 imposibilidad
f.impossibility.su imposibilidad para contestar la pregunta his inability to answer the questionimposibilidad física o material physical impossibility* * *1 impossibility* * *SF1) [de suceso, acción] impossibility2) (=incapacidad)* * *femenino impossibility* * *= inability, impossibility.Ex. The catalog user is perhaps not quite so amused by his/her inability to divine why it's not GALERIE MIKRO BERLIN, but BERLIN, MUSEUM FUR VOLKERKUNDE (WEST BERLIN).Ex. The argument against it is the impossibility of accommodating the needs of all types of libraries.----* creer en imposibilidades = believe in + impossibilities.* imposibilidad de toma de decisiones = undecidability.* * *femenino impossibility* * *= inability, impossibility.Ex: The catalog user is perhaps not quite so amused by his/her inability to divine why it's not GALERIE MIKRO BERLIN, but BERLIN, MUSEUM FUR VOLKERKUNDE (WEST BERLIN).
Ex: The argument against it is the impossibility of accommodating the needs of all types of libraries.* creer en imposibilidades = believe in + impossibilities.* imposibilidad de toma de decisiones = undecidability.* * *impossibilitylo que piden es una imposibilidad what they are asking is impossiblees una imposibilidad física it's a physical impossibility, it's physically impossibleimposibilidad DE algo:la imposibilidad de llevar a cabo el proyecto the impossibility of carrying through the planme vi en la imposibilidad de ayudarlo there was nothing I could do to help him, I was unable to help him* * *
imposibilidad sustantivo femenino impossibility
' imposibilidad' also found in these entries:
English:
impossibility
* * *impossibility;su imposibilidad para contestar la pregunta his inability to answer the question;reconoció la imposibilidad de controlar la violencia she acknowledged that it was impossible to control the violence;imposibilidad física physical impossibility* * *f impossibility* * *: impossibility -
4 posibilidad de toma de decisiones
(n.) = decidabilityEx. The article is entitled 'Complexity, decidability and undecidability results for domain-independent planning'.* * *(n.) = decidabilityEx: The article is entitled 'Complexity, decidability and undecidability results for domain-independent planning'.
Spanish-English dictionary > posibilidad de toma de decisiones
-
5 toma
f.1 feed.2 dose.3 capture.4 inlet.toma de corriente ( Elec) power point, socket5 take (Cine) (plano).toma de exteriores location shot6 photo, photograph, shot, snapshot.7 intake, inlet.8 takeover, taking, overtaking.9 spigot.10 swallowing, ingestion.11 socket.pres.indicat.3rd person singular (él/ella/ello) present indicative of spanish verb: tomar.* * *(aquí tienes) here you are, here————————1 (acción) taking2 MEDICINA dose3 MILITAR capture5 (grabación) recording6 CINEMATOGRAFÍA take, shot\toma de conciencia awarenesstoma de corriente power pointtoma de muestras samplingtoma de posesión takeover* * *noun f.1) taking2) intake3) dose4) capture, seizure* * *1. SF1) (Téc) [de agua, gas] (=entrada) inlet; (=salida) outlettoma de aire — air inlet, air intake
toma de antena — (Radio, TV) aerial socket
toma de tierra — earth (wire), ground (wire) (EEUU)
2) (Cine, TV) shot¡escena primera, tercera toma! — scene one, take three!
3) [de jarabe, medicina] dose; [de bebé] feed4) (Mil) (=captura) taking, capturela toma de Granada — the taking o capture of Granada
6)toma de decisiones — decision-making, decision-taking
toma de hábito — (Rel) taking of vows
toma de posesión, mañana tendrá lugar la toma de posesión del nuevo presidente — the new president will take office tomorrow
toma de tierra — (Aer) landing, touchdown
2.SM* * *1)a) (Mil) capture, takingb) (de universidad, fábrica) occupation; ( de tierras) seizure2) (Cin, Fot) shot3) ( de medicamento) dose4) ( de datos) gathering; ( de muestras) taking5) ( en yudo) hold6) (AmL) ( acequia) irrigation channel•* * *= shot, seizure, take, inlet.Ex. Each video shot is logged using text descriptions, audio dialogue, and cinematic attributes.Ex. Penalties that can be imposed range from seizure and forfeiture of the articles and the means by which they were produced to fines or imprisonment.Ex. Bibliographic information required includes: types of recordings listed; location of recording sessions; matrix numbers; takes or take numbers; issue dates; and types of index contained in the discography.Ex. The cell arrival processes on the inlets of the switching element are of a bursty nature.----* apoyo a la toma de decisiones = decision support.* árbol para la toma de decisiones = decision tree.* hoja de toma de datos = checklist [check-list], data sheet [datasheet].* imposibilidad de toma de decisiones = undecidability.* posibilidad de toma de decisiones = decidability.* reacio a la toma de riesgos = risk-averse.* sistema de apoyo a la toma de decisiones = decision support system, decision making system.* toma de aire = air intake.* toma de apuntes = note-taking.* toma de conciencia = realisation [realization, -USA], reality check.* toma de contacto entre expertos = meeting of (the) minds.* toma de corriente = outlet, socket, socket outlet, light socket.* toma de decisiones = decision making [decision-making], decision taking.* toma de decisiones con conocimiento de causa = informed decision making.* toma de decisiones fundadas = informed decision making.* toma de iniciativas = initiative taking.* toma de luz = outlet, power point, socket, socket outlet.* toma de medidas = action.* toma de notas = note-taking.* toma de riesgos = risk-taking, calculated risk-taking.* toma de tierra = earthing.* toma de turnos en la conversación = turn-taking [turntaking].* toma eléctrica = outlet, socket, electrical outlet.* toma falsa = outtake.* Tomás de Aquino = Thomas Aquinas.* toma y daca = give and take.* * *1)a) (Mil) capture, takingb) (de universidad, fábrica) occupation; ( de tierras) seizure2) (Cin, Fot) shot3) ( de medicamento) dose4) ( de datos) gathering; ( de muestras) taking5) ( en yudo) hold6) (AmL) ( acequia) irrigation channel•* * *= shot, seizure, take, inlet.Ex: Each video shot is logged using text descriptions, audio dialogue, and cinematic attributes.
Ex: Penalties that can be imposed range from seizure and forfeiture of the articles and the means by which they were produced to fines or imprisonment.Ex: Bibliographic information required includes: types of recordings listed; location of recording sessions; matrix numbers; takes or take numbers; issue dates; and types of index contained in the discography.Ex: The cell arrival processes on the inlets of the switching element are of a bursty nature.* apoyo a la toma de decisiones = decision support.* árbol para la toma de decisiones = decision tree.* hoja de toma de datos = checklist [check-list], data sheet [datasheet].* imposibilidad de toma de decisiones = undecidability.* posibilidad de toma de decisiones = decidability.* reacio a la toma de riesgos = risk-averse.* sistema de apoyo a la toma de decisiones = decision support system, decision making system.* toma de aire = air intake.* toma de apuntes = note-taking.* toma de conciencia = realisation [realization, -USA], reality check.* toma de contacto entre expertos = meeting of (the) minds.* toma de corriente = outlet, socket, socket outlet, light socket.* toma de decisiones = decision making [decision-making], decision taking.* toma de decisiones con conocimiento de causa = informed decision making.* toma de decisiones fundadas = informed decision making.* toma de iniciativas = initiative taking.* toma de luz = outlet, power point, socket, socket outlet.* toma de medidas = action.* toma de notas = note-taking.* toma de riesgos = risk-taking, calculated risk-taking.* toma de tierra = earthing.* toma de turnos en la conversación = turn-taking [turntaking].* toma eléctrica = outlet, socket, electrical outlet.* toma falsa = outtake.* Tomás de Aquino = Thomas Aquinas.* toma y daca = give and take.* * *A1 ( Mil) capture, takingla toma de la Bastilla the storming of the Bastille2 (de una universidad, fábrica) occupationla toma de tierras por los campesinos the occupation o seizure of lands by the peasantsB1 ( Fot) shot2 ( Cin, TV):unas tomas magníficas del paisaje some magnificent shots of the countrysideel director quiere repetir esa toma the director wants to do that take againC (de un medicamento) doseD (de datos) gathering, collecting, collection; (de muestras) takingla toma de decisiones the taking of decisions, the decision-makingE (en yudo) hold(muy guapo) to be easy on the eye, to be a real looker ( colloq); (muy sabroso) to be very tasty ( colloq)Compuestos:(de una máquina) intake, inlet; (grifo) faucet ( AmE), tap ( BrE); (para incendios) hydrant; (de una acequia) point where water can be drawn offair intake, air inlet( Bolsa) profit-takingfuel intake, fuel inletesta toma de conciencia del problema the fact that people have become aware o conscious of the problem, this new awareness of the problem(contacto) contact; (contacto inicial) first o initial contactno ha habido toma de contacto entre ellos there has been no contact between them, they have not been in contact(wall) socket, power point, outlet ( AmE)(de un presidente) inauguration; (de ministros) swearing-in ceremony(en un cargo): el día de mi toma de posesión the day I took up my postsu toma de postura sorprendió a mucha gente his stance surprised many peopleesta toma de postura de la Iglesia the adoption of this stance by the Church, the fact that the Church has adopted o taken this stanceA ( Elec) ground ( AmE), ground wire ( o connection etc) ( AmE), earth ( BrE), earth wire ( o connection etc) ( BrE)B ( Aviac) landing, touchdownmasculine (intercambio de favores, servicios) give-and-take; (en un combate, una prueba) cut-and-thrust* * *
Del verbo tomar: ( conjugate tomar)
toma es:
3ª persona singular (él/ella/usted) presente indicativo2ª persona singular (tú) imperativo
Multiple Entries:
toma
tomar
toma sustantivo femenino
1
( de tierras) seizure
2 (Cin, Fot — imagen) shot;
(— acción de filmar) take
3 ( de medicamento) dose
4 ( de datos) gathering;
( de muestras) taking;
5 (AmL) ( acequia) irrigation channel
6a)
tomar ( conjugate tomar) verbo transitivo
1 ( en general) to take;
la tomé de la mano I took her by the hand;
toma lo que te debo here's what I owe you;
¿lo puedo toma prestado? can I borrow it?;
tomó el asunto en sus manos she took charge of the matter;
toma precauciones/el tren/una foto to take precautions/the train/a picture;
tomale la temperatura a algn to take sb's temperature;
toma algo por escrito to write sth down;
toma algo/a algn POR algo/algn to take sth/sb for sth/sb;
¿por quién me has tomado? who o what do you take me for?;
lo tomó a mal/a broma he took it the wrong way/as a joke;
eso toma demasiado tiempo that takes up too much time
2
◊ ¿qué vas a toma? what are you going to have?
3 (esp AmL)
4 ( apoderarse de) ‹fortaleza/tierras› to seize;
‹universidad/fábrica› to occupy
5 ( adquirir) ‹ forma› to take;
‹ aspecto› to take on;
‹velocidad/altura› to gain;
‹ costumbre› to get into
6 ( cobrar):◊ le he tomado cariño a esta casa/a la niña I've become quite attached to this house/quite fond of the girl
7 ( exponerse a):
toma (el) sol to sunbathe;
vas a toma frío (CS) you'll get o catch cold
verbo intransitivo
1 ( asir):◊ toma, aquí tienes tus tijeras here are your scissors;
tome, yo no lo necesito take it, I don't need it
2 (esp AmL) ( beber alcohol) to drink
3 (AmL) (ir) to go;
toma a la derecha to turn o go right
4 [ injerto] to take
tomarse verbo pronominal
1 ‹vacaciones/tiempo› to take;
2 ‹molestia/libertad› to take;◊ tomase la molestia/libertad de hacer algo to take the trouble to do sth/the liberty of doing sth
3 ( enf)
‹helado/yogur› to have
4 ‹autobús/tren/taxi› to take
5 (Med)
b) ( caus):
6 ( caus) (esp AmL) ‹ foto› to have … taken
7 ( enf) ( reaccionar frente a) ‹comentario/noticia› to take;
8 (Chi) ‹universidad/fábrica› to occupy
toma sustantivo femenino
1 (acción de tomar) taking
(de datos) gathering
(de una ciudad, un edificio) taking, occupation
Mil capture
toma de posesión, investiture
2 Cine Fot shot
(secuencia) take
3 (dosis) dose
4 Elec toma de corriente, power point, US socket
toma de tierra, earth, US ground
5 toma de conciencia, awareness, realization
tomar verbo transitivo
1 (coger, agarrar) to take: tomó mi mano, he took my hand
toma las llaves, here are the keys
2 (autobús, taxi, etc) to take, catch: tomé el ascensor, I took the lift o elevator
tengo que tomar el próximo tren, I have to catch the next train
3 (alimentos) to have
(bebidas) to drink
(medicinas) to take
4 (adoptar) to take, adopt: tomaron medidas desesperadas, they took desperate measures
5 (tener cierta reacción) no lo tomes a broma, don't take it as a joke
6 (juzgar) no me tomes por idiota, don't think I'm stupid
(confundirse) le tomaron por Robert Redford, they mistook him for Robert Redford
7 (el aire, el fresco, etc) to get
tomar el sol, to sunbathe
8 (en carretera) decidió tomar la autopista, he decided to take the motorway
9 (apuntes, notas) to take
10 (fotos) to take
11 Av tomar tierra, to land, touch down 12 ¡toma! excl (sorpresa) well!, why!
(asentimiento) of course!
' toma' also found in these entries:
Spanish:
confianza
- licencia
- pachorra
- potingue
- sana
- sano
- tierra
- tomar
- tranquilidad
- agarrar
- cachondeo
- ligero
- toma y daca
English:
assumption
- capture
- decision making
- earth
- easy-going
- give
- give-and-take
- here
- initiative
- intake
- laugh off
- nightcap
- on
- outtake
- plenty
- plug
- power point
- retake
- seizure
- shot
- so
- socket
- take
- takeover
- treat
- turn
- turn off
- any
- decision
- drink
- hammer
- hydrant
- inaugural
- inauguration
- note
- out
- point
- power
- pride
- quits
- sit
* * *♦ nf1. [acción de tomar]toma de conciencia realization;la toma de conciencia tardó mucho tiempo it took some time for people to become aware of the true situation;toma de decisiones decision-making;toma de posesión [de gobierno, presidente] investiture;la toma de posesión será el día 25 [de cargo] he will take up his post on the 25th;alabaron la toma de posición del presidente en este tema they praised the position taken by the president on this matter2. [de biberón, papilla] feed3. [de medicamento] dose4. [de ciudad] capture;la toma del castillo the storming of the castle5. [de agua, aire] inletAm Elec toma de contacto socket, esp Br power point; Elec toma de corriente socket, esp Br power point; Elec toma de tierra Br earth, US ground6. Cine & TV [plano] taketoma falsa outtake♦ nmFamtoma y daca give and take* * *f FOT shot, take* * *toma nf1) : taking, seizure, capture2) dosis: dose3) : take, shot4)toma de corriente : wall socket, outlet5)toma y daca : give-and-take* * *toma n1. (de medicamento) dose2. (en cine) take3. (conquista) taking / capturetoma de corriente socket / power point
См. также в других словарях:
undecidability — noun the state of being undecidable … Wiktionary
Post correspondence problem — The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.[1] Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. Contents 1… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
Aperiodic tiling — are an aperiodic set of tiles, since they admit only non periodic tilings of the plane:] Any of the infinitely many tilings by the Penrose tiles is non periodic. More informally, many refer to the Penrose tilings as being aperiodic tilings , but… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Raphael M. Robinson — Raphael Mitchel Robinson (November 2 1911, National City California January 27 1995. Berkeley California) was an American mathematician.Born in National City, California, Robinson was the youngest of four children of a lawyer and a teacher. He… … Wikipedia
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
Description number — Description numbers are numbers that arise in the theory of Turing machines. They are very similar to Gödel numbers, and are also occasionally called Gödel numbers in the literature. Given some universal Turing machine, every Turing machine can,… … Wikipedia
Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any … Wikipedia