Skip to content

Abstracts.2019.ConstructiveMathsAndProgramming

Jump to bottom
Fabian edited this page Feb 3, 2020 · 1 revision

Constructive Mathematics and Computer Programming

by Abraham Wolk

Abstract

The talk will be about ideas by Per Martin-Löf expressed in his paper "Constructive Mathematics and Computer Programming," on (1) how to clarify the meaning of intuitionistic mathematics, and (2) how to use these explanations of meaning to justify principles of reasoning.

References

  1. Per Martin-Löf. Constructive Mathematics and Computer Programming. 1982. International Congress for Logic, Methodology and Philosophy of Science paper.
Clone this wiki locally