View Proposal
-
Proposer
-
Fairouz Kamareddine
-
Title
-
Investigating the Languages for Mathematics
-
Goal
-
Investigating the Languages of Mathematics
-
Description
- Langauges of Mathematics have played an important role in the creation of the computability theory and also new areas such as the design and verification of programming langauges. There is still no ideal langauge to write mathematics. This project investigates a number of attempts at finding a good language to write mathematics and to also computerise and check the correctness of mathematics.
- Resources
-
-
Background
-
-
Url
-
-
Difficulty Level
-
Moderate
-
Ethical Approval
-
None
-
Number Of Students
-
1
-
Supervisor
-
Fairouz Kamareddine
-
Keywords
-
-
Degrees
-