Denna sida på svenska

Peter LeFanu Lumsdaine

Denna sida på svenska

Contact

Name and title: Peter LeFanu Lumsdaine

p.l.lumsdaine@math.su.se

08-16 14 66

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

Visiting address

Room E1351

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: Peter LeFanu Lumsdaine

p.l.lumsdaine@math.su.se

08-16 14 66

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

Visiting address

Room E1351

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.