Larry Wos

Larry Wos

Larry Wos es un científico y matemático de la división de informática en el Laboratorio Nacional Argonne; ingresó a dicho laboratorio en febrero de 1957. Escribió más de 70 artículos sobre la automatización del razonamiento, ha dado cientos de conferencias sobre dicho tema, y por ello se ha renombrado el campo de confirmación (prueba) en un teorema básico de automatización "Teorema del razonamiento automatizado". Ha escrito seis libros, los más recientemente Un País Fascinante, El Mundo de Calcular y Guía al Razonamiento Automatizado, (Mundo Científico, 1999-2000) y Obras completas de Larry Wos, 2 vols., (Mundo Científico, 2001).

Teoría del Razonamiento Automatizado

La introducción de Wos de la noción de estrategia en el razonamiento automatizado transformó el campo en el potencial de la realización (la comprensión). Un creyente fuerte en la experimentación, Wos ha usado programas de razonamiento automatizados para contestar asuntos por resolver campos diversos como los que encontramos en la álgebra Booleana, semigrupos finitos, combinaciones de la lógica, y el cálculo equivalencial.

Reconocimientos internacionales

Como un tributo a su trabajo, en 1983 ganó el premio de la Sociedad Americana de Matemática por syu famososo teorema de la automatización. También recibió el Premio de Herbrand pos sus contribuciones excepcionales al campo de la deducción automatizada en año 1992.


Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Ross Overbeek — Infobox Scientist image width = 150px name = Ross A. Overbeek box width = birth date = birth place = Traverse City, Michigan death date = death place = residence = citizenship = nationality = ethnicity = field = Computer science; mathematical… …   Wikipedia

  • Otter (theorem prover) — Otter is an automated theorem prover developed by William McCune at Argonne National Laboratory in Illinois. Otter was the first widely distributed, high performance theorem prover for first order logic, and it pioneered a number of important… …   Wikipedia

  • Boolean algebra (structure) — For an introduction to the subject, see Boolean algebra#Boolean algebras. For the elementary syntax and axiomatics of the subject, see Boolean algebra (logic). For an alternative presentation, see Boolean algebras canonically defined. In abstract …   Wikipedia

  • Herbrand Award — The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated… …   Wikipedia

  • Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… …   Wikipedia

  • Herbrand-Award — Der Herbrand Award (Herbrand Preis) ist ein mit 1000 US Dollar dotierter Wissenschaftspreis. Er wird seit 1992 jährlich vergeben. Mit ihm wird ein Wissenschaftler für herausragende Beiträge zum automatischen Theorembeweisen ausgezeichnet. Benannt …   Deutsch Wikipedia

  • Premio Herbrand — Saltar a navegación, búsqueda Entregado desde 1992 el Premio Herbrand se otorga anualmente a un científico o a un grupo de investigación por sus contribuciones en el área de razonamiento automatizado. El premio lleva el nombre del matemático y… …   Wikipedia Español

  • Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… …   Википедия

  • Citizendium —   …   Wikipedia

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”