QUÉ SIGNIFICA PROOF THEORY EN INGLÉS
Teoría de la prueba
La teoría de la prueba es una rama de la lógica matemática que representa las pruebas como objetos matemáticos formales, facilitando su análisis mediante técnicas matemáticas. Las pruebas suelen presentarse como estructuras de datos definidas por inducción, tales como listas simples, listas en caja o árboles, que se construyen de acuerdo con los axiomas y reglas de inferencia del sistema lógico. Como tal, la teoría de la prueba es de naturaleza sintáctica, en contraste con la teoría de modelos, que es de naturaleza semántica. Junto con la teoría de modelos, la teoría axiomática de conjuntos y la teoría de la recursión, la teoría de la prueba es uno de los llamados cuatro pilares de los fundamentos de las matemáticas. La teoría de la prueba es importante en la lógica filosófica, donde el interés primario está en la idea de una semántica teórica de la prueba, una idea que depende de ideas técnicas en la teoría estructural de la demostración para ser factible.
definición de proof theory en el diccionario inglés
La definición de teoría de la prueba en el diccionario es la rama de la lógica que estudia las propiedades sintácticas de las teorías formales, especialmente la caracterización sintáctica de la validez deductiva.
PALABRAS DEL INGLÉS RELACIONADAS CON «PROOF THEORY»
proof theory ·
social ·
proof ·
theory ·
relativity ·
predicate ·
logic ·
logical ·
complexity ·
mailing ·
list ·
takeuti ·
evolution ·
branch ·
mathematical ·
that ·
represents ·
proofs ·
formal ·
objects ·
facilitating ·
their ·
introduction ·
ucsd ·
samuel ·
buss ·
departments ·
computer ·
science ·
university ·
california ·
diego ·
jolla ·
development ·
stanford ·
encyclopedia ·
naturally ·
divided ·
into ·
prehistory ·
notion ·
ancient ·
mastermath ·
description ·
study ·
combinatorial ·
properties ·
subject ·
relations ·
combinatorics ·
from ·
wolfram ·
mathworld ·
also ·
metamathematics ·
reasoning ·
hofstadter ·
general ·
abstract ·
sense ·
itself ·
ways ·
preface ·
pohlers ·
leading ·
researchers ·
ordinal ·
occasion ·
retirement ·
institut ·
für ·
mathematische ·
newsgroup ·
created ·
subscribe ·
send ·
announcements ·
events ·
relating ·
participants ·
sites ·
archive ·
messages ·
amazon ·
professor ·
studies ·
structure ·
this ·
book ·
both ·
concise ·
andrew ·
jeremy ·
avigad ·
march ·
began ·
part ·
hilbert ·
program ·
aimed ·
secure ·
applied ·
interpretations ·
ulrich ·
kohlenbach ·
presents ·
form ·
recent ·
years ·
results ·
number ·
approximation ·
nonlinear ·
practice ·
american ·
society ·
john ·
harrison ·
aformal ·
10 LIBROS DEL INGLÉS RELACIONADOS CON «PROOF THEORY»
Descubre el uso de
proof theory en la siguiente selección bibliográfica. Libros relacionados con
proof theory y pequeños extractos de los mismos para contextualizar su uso en la literatura.
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
A. S. Troelstra, H. Schwichtenberg,
2000
2
Handbook of
Proof Theory
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects.
3
Proof Theory: An Introduction
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level.
4
Proof Theory: The First Step into Impredicativity
This book verifies with compelling evidence the author s inclination to 'write a book on proof theory which needs no previous knowledge of proof theory'.
5
Applied
Proof Theory:
Proof Interpretations and their Use in ...
This book presents an applied form of proof theory that has led to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others) in recent years .
6
Proof Theory and Automated Deduction
From this point of view, J. Goubault and I. Mackie's book on Proof Theory and Automated Deduction is most welcome. It covers major algorithmic methodolo gies as well as a variety of logical systems.
Jean Goubault-Larrecq, I. Mackie,
2001
7
Proof Theory of Modal Logic
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc.
8
Proof Theory: A Selection of Papers from the Leeds
Proof ...
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Peter Aczel, Harold Simmons, Stanley S. Wainer,
1992
9
Proof Theory for Fuzzy Logics
This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area.
George Metcalfe, Nicola Olivetti, Dov M. Gabbay,
2008
10
Structural
Proof Theory
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Sara Negri, Jan von Plato,
2008
10 NOTICIAS EN LAS QUE SE INCLUYE EL TÉRMINO «PROOF THEORY»
Conoce de qué se habla en los medios de comunicación nacionales e internacionales y cómo se emplea el término
proof theory en el contexto de las siguientes noticias.
True Detective Season 2: Will Velcoro and Woodrugh Begin a Gay …
Skeptics will say Velcoro has shown no signs of hidden homosexual tendencies but I propose a fool proof theory for these doubters. Velcoro ... «moviepilot.com, Jul 15»
Cutting Your Own Hair? 'Shearly' You Jest
The bad news is, this is not a completely fool proof theory and it is, I learned, much easier to see a bald spot in short hair than in long hair. «TAPinto.net, Jun 15»
Grieving family of Ian Marshall appeal for witnesses to come forward …
"We have re-examined the evidence, but there is no full-proof theory. If people come forward with more information we will look at it once again. «Leek Post & Times, Jun 15»
Welcome Home, Josh Hamilton
Addiction isn't a full-proof theory, or it's causes, but at the end of the day, when a man's future is on the line, everything possible to ensure the ... «The Sports Quotient, May 15»
'Legend Of Korra' Season 3 Finale Episodes: Who Exactly Is Kuvira …
... but we get it's not a bullet proof theory. We'll have to impatiently wait for LoK's season 4 premiere for details. Zaheer may be locked up again, ... «iDigitalTimes.com, Ago 14»
Maths From An Extra Terrestrial Civilization - What Could It Be Like …
It's a general issue for any higher-order logic - it needs a proof theory before mathematicians can use it in practice - and when you do that, the ... «Science 2.0, Jun 14»
What happened to the Giants?
The Closer As Proof Theory: You can't use a closer's struggles to prove anything about the overall quality of a team. The Giants had three late ... «SB Nation, Jun 14»
Grigori Mints, Stanford philosophy professor, dies at 74
At Stanford his research focused on proof theory, the analysis of mathematical reasoning and its applications for fields like computer science. «Palo Alto Online, Jun 14»
Stanford philosophy Professor Grigori Mints, a world-renowned …
Mints' pioneering research created new connections between proof theory and computation – leaving an indelible mark on generations of ... «Stanford Report, Jun 14»
Westwood splits from coach Foley after alarming slide down world …
Sometimes even bullet-proof theory gets riddled with holes in practice. Fourteen months on, Westwood began his first round in the Northern ... «Daily Mail, Feb 14»