Mathematics and 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
|
|
|
Mathematics and Logic
|
| Id. |
41862010 |
| Idioma |
inglés
|
| Titulo |
Mathematics and Logic |
| Localización |
http://citeseer.ist.psu.edu/426582.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
eep impact on the development of logic as well as on the science of computing.
It was the problem that led to Turing's world-famous paper that is generally recognised
as laying the basis for the development of computing machinery. (In his paper Turing
developed a mathematical model of a computer"; the paper was published in 1936 well
before any (electronic) computer existed.) Hilbert wanted to construct a complete and
consistent axiomatisation of logic. Godel showed that this was impossible, and Turing
1
showed that not everything is computable. But, in spite of these two negative results (or
perhaps because of them), interest in formalising logic has continued unabated.
Undoubtedly, the birth of computing technology has been a major spur to formalising
logic. Programming languages are part of the language of mathematics. They have a
precise operational meaning, so precise indeed that they can be interpreted faultlessy by
a computer. Informal, natural language, on the other
|
| Tipo |
ps
|
| Palabras clave |
Mathematics and 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] http://www.cs.nott.ac.uk/~rcb/mc2/ho-ps/mc2-lect5.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.
|
|
|
|
