Denna sida på svenska

Per Martin-Löf

Denna sida på svenska

Contact

Name and title: Per Martin-Löf

pml@math.su.se

Workplace: Department of Mathematics (incl. Math. Statistics)

Visiting address

Room 315

Albano hus 1

Postal address

Matematik

106 91 Stockholm

Research group

Mathematical logic

Logic as an academic subject is the study of reasoning, and mathematical logic is the study of mathematical reasoning in its various precise forms. This research group is active in several areas of the field including, constructive mathematics, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics.

Edit the profile

Denna sida på svenska

Contact

Name and title: Per Martin-Löf

pml@math.su.se

Workplace: Department of Mathematics (incl. Math. Statistics)

Visiting address

Room 315

Albano hus 1

Postal address

Matematik

106 91 Stockholm

Research group

Mathematical logic

Logic as an academic subject is the study of reasoning, and mathematical logic is the study of mathematical reasoning in its various precise forms. This research group is active in several areas of the field including, constructive mathematics, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics.