Portada - Biografias de Matematicos




   

Alonzo church

Enviado por pelis. -5 puntos. Leido 257 veces

Comentarios (0)

 

Matematico estadounidense. Profesor en la Universidad de Princeton, se especializo en logica matematica, metalogica y metamatematica. Es notable su concepto de calculabilidad y su demostracion de la indecidibilidad de la logica de primer orden. Desarrollo el calculo de conversion lambda, que permite efectuar operaciones logicas con variables generalizadas. Destacan sus obras Calculo de conversion lambda (1941) e Introduccion a la logica matematica (1944). (Washington, 1903-Hudson, 1995)
fuente : biografiasyvidas.com

 

Biografia enviada el Viernes, 28 de Marzo de 2008 y leido 257 veces.

 


 

 

Comentarios recibidos en Alonzo church (Expandir)

 

Para dejar un comentario debe estar registrado

 

Registrate Aquí

 

Recomendar este enlace

© 2007 LasBiografias.com |  Inicio | Contacto | Aviso Legal | Sedo - Buy and Sell Domain Names and Websites project info: lasbiografias.com Statistics for project lasbiografias.com etracker® web controlling instead of log file analysis