Peter LeFanu Lumsdaine

Contact

Name and title: Peter LeFanu Lumsdaine

Mail: p.l.lumsdaine@math.su.se
Phone: +468161466

Workplace: Department of Mathematics (incl. Math. Statistics) Länk till annan webbplats.

Visiting address Room E1351

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.





Contact

Name and title: Peter LeFanu Lumsdaine

Mail: p.l.lumsdaine@math.su.se
Phone: +468161466

Workplace: Department of Mathematics (incl. Math. Statistics) Länk till annan webbplats.

Visiting address Room E1351

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.

Cookie settings

By allowing third-party services, you accept their cookies and the use of tracking technologies necessary for them to function properly.