MartinLöf, Per 1942
Overview
Works:  27 works in 91 publications in 5 languages and 1,130 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 P 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
)
23 editions published in 1990 in 4 languages and held by 341 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
23 editions published in 1990 in 4 languages and held by 341 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
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
Notes on constructive mathematics by
Per MartinLöf(
Book
)
15 editions published between 1968 and 1975 in 3 languages and held by 149 WorldCat member libraries worldwide
15 editions published between 1968 and 1975 in 3 languages and held by 149 WorldCat member libraries worldwide
Computer logic : International Conference COLOG88, Tallinn, USSR, December 1988 : proceedings by International Conference on Computer Logic(
Book
)
2 editions published in 1990 in English and held by 24 WorldCat member libraries worldwide
2 editions published in 1990 in English and held by 24 WorldCat member libraries worldwide
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per MartinLöf by P Dybjer(
Book
)
5 editions published in 2012 in English and held by 14 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 14 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?
Algorithmen und zufällige Folgen : 4 Vortr. gehalten am Mathematischen Inst. d. Univ. ErlangenNürnberg by
Per MartinLöf(
Book
)
7 editions published in 1966 in German and Undetermined and held by 12 WorldCat member libraries worldwide
7 editions published in 1966 in German and Undetermined and held by 12 WorldCat member libraries worldwide
Statistiska modeller : anteckningar från seminarier läsåret 196970 by
Per MartinLöf(
Book
)
4 editions published between 1973 and 1978 in Swedish and held by 5 WorldCat member libraries worldwide
4 editions published between 1973 and 1978 in Swedish and held by 5 WorldCat member libraries worldwide
Epistemology versus ontology(
Book
)
2 editions published in 2012 in English and held by 5 WorldCat member libraries worldwide
2 editions published in 2012 in English and held by 5 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
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
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
COGOL88 : 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 1 WorldCat member library worldwide
1 edition published in 1990 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
Elementare MartinLöfTheorie by
Stephan Grabiak(
Book
)
1 edition published in 1983 in German and held by 1 WorldCat member library worldwide
1 edition published in 1983 in German and held by 1 WorldCat member library 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
A path from logic to metaphysics by
Per MartinLöf(
)
in English and held by 1 WorldCat member library worldwide
in English 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
 Sundholm, Göran Editor
 Palmgren, Erik Editor
 COLOG (1988, Tallin)
 Moriconi, Enrico 1950 Author
 Dummett, Michael 19252011
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, 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