First Order Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
First Order Logic
|
| Id. |
41477358 |
| Idioma |
inglés
|
| Titulo |
First Order Logic |
| Localización |
http://citeseer.ist.psu.edu/43363.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
er logic can still be adequate programming languages.
Mathematicians have used first order logic as a programming language
in which to encode all the known acceptable principles of mathematical
inference. The result is axiomatic set theory. Any mathematical proof can,
in principle, be expressed as a proof in first order set theory. In this sense
axiomatic set theory is an adequate foundation for mathematics. However,
it is known that these principles of inference are not complete, e.g., there are
true statements about integers which can not be proven. This implies that
there are true statements that can never be proven by mathematicians (unless
new principles are adopted). It is also known that axiomatic set theory
does not semantically express standard concepts, e.g., there are models of
set theory in which there is an infinite integer. But set theory does encode
all the principles of inference accepted by mathematicians.
This chapter, like preceding chapters, emphasizes semantics -
|
| Tipo |
ps
|
| Palabras clave |
First Order Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.ai.mit.edu/pub/users/dam/6.824/fall93/notes/fol.ps
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
