MartinLöf, Per 1942
Overview
Works:  33 works in 96 publications in 5 languages and 1,189 library holdings 

Genres:  Conference papers and proceedings History 
Roles:  Author, Editor, Honoree, Other 
Classifications:  QA76.9.M35, 004.015113 
Publication Timeline
.
Most widely held works about
Per MartinLöf
 Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per MartinLöf by Peter Dybjer( Book )
 Dimostrazioni e significato : Michael Dummett, Dag Prawitz, Per MartinLöf by Enrico Moriconi( Book )
 Program construction in MartinLöf's theory of types by AA. M Khamiss( )
Most widely held works by
Per MartinLöf
COLOG88 : International Conference on Computer Logic Tallinn, USSR, December 1216, 1988 : proceedings by
Per MartinLöf(
Book
)
16 editions published in 1990 in English and Italian and held by 266 WorldCat member libraries worldwide
"This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries."Publisher's website
16 editions published in 1990 in English and Italian and held by 266 WorldCat member libraries worldwide
"This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries."Publisher's website
Notes on constructive mathematics by
Per MartinLöf(
Book
)
17 editions published between 1968 and 1975 in 3 languages and held by 154 WorldCat member libraries worldwide
17 editions published between 1968 and 1975 in 3 languages and held by 154 WorldCat member libraries worldwide
Intuitionistic type theory by
Per MartinLöf(
Book
)
13 editions published in 1984 in English and held by 153 WorldCat member libraries worldwide
13 editions published in 1984 in English and held by 153 WorldCat member libraries worldwide
Computer logic : International Conference COLOG88, Tallinn, USSR, December 1988 : proceedings by International Conference on Computer Logic(
Book
)
3 editions published in 1990 in English and held by 26 WorldCat member libraries worldwide
3 editions published in 1990 in English and held by 26 WorldCat member libraries worldwide
COLOG88 : Internat. Conference on Computer Logic, Tallinn, USSR, Dec. 1216, 1988 ; proceedings by
Tallin) COLOG (1988(
Book
)
2 editions published in 1990 in Undetermined and held by 21 WorldCat member libraries worldwide
2 editions published in 1990 in Undetermined and held by 21 WorldCat member libraries worldwide
COLOG eightyeight COLOG88 International Conference on Computer Logic Talinn, USSR, December 1216, 1988 ; proceedings by COLOG(
)
1 edition published in 1990 in Undetermined and held by 19 WorldCat member libraries worldwide
1 edition published in 1990 in Undetermined and held by 19 WorldCat member libraries worldwide
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per MartinLöf by
Peter Dybjer(
Book
)
5 editions published in 2012 in English and held by 16 WorldCat member libraries worldwide
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on MartinLöf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and MartinLöf. What is the relation between prooftheoretical semantics in the tradition of Gentzen, Prawitz, and MartinLöf and Wittgensteinian or other accounts of meaningasuse? What can prooftheoretical analyses tell us about the scope and limits of constructive and predicative mathematics?
5 editions published in 2012 in English and held by 16 WorldCat member libraries worldwide
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on MartinLöf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and MartinLöf. What is the relation between prooftheoretical semantics in the tradition of Gentzen, Prawitz, and MartinLöf and Wittgensteinian or other accounts of meaningasuse? What can prooftheoretical analyses tell us about the scope and limits of constructive and predicative mathematics?
Proceedings / COLOG 88 by
1988, Tallin> COLOG. <1(
Book
)
1 edition published in 1990 in German and held by 15 WorldCat member libraries worldwide
1 edition published in 1990 in German and held by 15 WorldCat member libraries worldwide
Algorithnen und zufallige Folgen by
Per MartinLöf(
Book
)
7 editions published in 1966 in German and Undetermined and held by 13 WorldCat member libraries worldwide
7 editions published in 1966 in German and Undetermined and held by 13 WorldCat member libraries worldwide
Epistemology versus ontology(
Book
)
2 editions published in 2012 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 2012 in English and held by 6 WorldCat member libraries worldwide
COLOG88 logic : International Conference on Computer Logic, Tallinn, USSR, December 1216, 1988 : proceedings by International Conference on Computer Logic(
Book
)
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Statistiska modeller by
Per MartinLöf(
Book
)
2 editions published in 1973 in Swedish and held by 3 WorldCat member libraries worldwide
2 editions published in 1973 in Swedish and held by 3 WorldCat member libraries worldwide
Literature on Von Mises' Kollektivs revisited by
Per MartinLöf(
Book
)
1 edition published in 1966 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1966 in English and held by 3 WorldCat member libraries worldwide
Hauptsatz for the intuitionistic theory of iterated inductive definitions by
Per MartinLöf(
)
in English and held by 2 WorldCat member libraries worldwide
in English and held by 2 WorldCat member libraries worldwide
Hauptsatz for the theory of species by
Per MartinLöf(
)
in English and held by 2 WorldCat member libraries worldwide
in English and held by 2 WorldCat member libraries worldwide
Unifying Scott' s theory of domains for denotational semantics and intuitionistic type theory by
Per MartinLöf(
)
in Italian and held by 2 WorldCat member libraries worldwide
in Italian and held by 2 WorldCat member libraries worldwide
Statistiska modeller : anteckningar från seminarier läsåret 196970 by
Per MartinLöf(
Book
)
1 edition published in 1978 in Swedish and held by 2 WorldCat member libraries worldwide
1 edition published in 1978 in Swedish and held by 2 WorldCat member libraries worldwide
En väg från logik till metafysik by
Per MartinLöf(
)
1 edition published in 1997 in Swedish and held by 1 WorldCat member library worldwide
1 edition published in 1997 in Swedish and held by 1 WorldCat member library worldwide
On the meanings of the logical constants and the justifications of the logical laws by
Per MartinLöf(
Book
)
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
Storleksskillnader hos genomsträckande kärrsnäppor (Calidris alpina) vid Ottenby : (Meddelande nr 24 från Ottenby fågelstation) by
Per MartinLöf(
Book
)
1 edition published in 1958 in Swedish and held by 1 WorldCat member library worldwide
1 edition published in 1958 in Swedish and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Mint︠s︡, G. E. Editor
 Dybjer, Peter Editor
 Sambin, Giovanni Editor
 COLOG. <1, 1988, Tallin>
 Lindström, Sten Editor
 Palmgren, Erik Editor
 Sundholm, Göran Editor
 Prawitz, Dag
 Dummett, Michael 19252011
 Moriconi, Enrico 1950 Author
Useful Links
Associated Subjects
Algorithms Artificial intelligence Computer science Computer scienceMathematics Computer software Constructive mathematics Dummett, Michael, Genetic epistemology Information theory Intuitionistic mathematics Logic Logic, Symbolic and mathematical Logic, Symbolic and mathematicalData processing MartinLöf, Per, MathematicsPhilosophy Meaning (Philosophy) Ontology Philosophy Prawitz, Dag Proof theory Signal processing Software engineering
Alternative Names
Ljof, P. Martin.
Löf, P. Martin
Löf, Per Martin.
Löf, Per Martin 1942
MartinLjof, P.
MartinLöf, P.
MartinLöf, P. 1942
MartinLöf, P. (Per), 1942
Per MartinLöf schwedischer mathematischer Logiker und Philosoph
Per MartinLöf svensk matematikar
Per MartinLöf svensk matematiker
Per MartinLöf Swedish logician, philosopher, and mathematical statistician
Per MartinLöf Zweeds wiskundige
МартинЛёф, Пер
ペール・マルティン＝レーフ
佩尔·马丁洛夫
Languages
Covers