Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
MathLang, a framework for computerising mathematics
 

Summary: MathLang, a framework for computerising
mathematics
Fairouz Kamareddine
Tuesday 14 September 2006
Brasilia University
Computerisation?
· Logic is OLD. Mathematics is OLD. But, SO IS computer science.
· Assume a problem ,
­ If you give me an algorithm to solve , I can check whether this algorithm
really solves .
­ But, if you ask me to find an algorithm to solve , I may go on forever
trying but without success.
· But, this result was already found by Aristotle: Assume a proposition .
­ If you give me a proof of , I can check whether this proof really proves .
­ But, if you ask me to find a proof of , I may go on forever trying but
without success.
· In fact, programs are proofs and much of computer science in the early part of
the 20th century was built by mathematicians and logicians.
· There were also important inventions in computer science made by physicists
(e.g., von Neumann) and others, but we ignore these in this talk.

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics