Schütte, K. (Kurt)
Overview
Works:  92 works in 239 publications in 4 languages and 2,611 library holdings 

Genres:  Conference papers and proceedings Bibliography Handbooks and manuals 
Roles:  Author, Editor, Honoree, Creator, Other 
Classifications:  QA9.54, 511.3 
Publication Timeline
.
Most widely held works about
K Schütte
 Isilic proof theory symposion : proceedings by International Summer Institute and Logic Colloquium( Book )
 ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by ISILC Proof Theory Symposion( Book )
Most widely held works by
K Schütte
Proof theory by
K Schütte(
Book
)
44 editions published between 1960 and 1977 in 3 languages and held by 798 WorldCat member libraries worldwide
This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, typefree logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie."
44 editions published between 1960 and 1977 in 3 languages and held by 798 WorldCat member libraries worldwide
This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, typefree logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie."
Vollständige Systeme modaler und intuitionistischer Logik by
K Schütte(
Book
)
23 editions published between 1968 and 2012 in 3 languages and held by 399 WorldCat member libraries worldwide
23 editions published between 1968 and 2012 in 3 languages and held by 399 WorldCat member libraries worldwide
Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966 by
Logic Colloquium(
Book
)
23 editions published between 1966 and 1968 in English and Undetermined and held by 393 WorldCat member libraries worldwide
23 editions published between 1966 and 1968 in English and Undetermined and held by 393 WorldCat member libraries worldwide
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International
Summer Institute and Logic Colloquium, Kiel, 1974 by
ISILC Proof Theory Symposion(
Book
)
19 editions published in 1975 in English and German and held by 383 WorldCat member libraries worldwide
19 editions published in 1975 in English and German and held by 383 WorldCat member libraries worldwide
Proof theory of impredicative subsystems of analysis by
Wilfried Buchholz(
Book
)
9 editions published in 1988 in English and held by 84 WorldCat member libraries worldwide
9 editions published in 1988 in English and held by 84 WorldCat member libraries worldwide
Lecture notes in mathematical logic by
K Schütte(
Book
)
4 editions published in 1962 in English and held by 63 WorldCat member libraries worldwide
4 editions published in 1962 in English and held by 63 WorldCat member libraries worldwide
Untersuchungen zum Entscheidungsproblem der mathematischen Logik by
K Schütte(
Book
)
4 editions published between 1933 and 1934 in German and held by 10 WorldCat member libraries worldwide
4 editions published between 1933 and 1934 in German and held by 10 WorldCat member libraries worldwide
Guide to stars by W Widman(
Book
)
2 editions published between 1957 and 1961 in English and held by 6 WorldCat member libraries worldwide
2 editions published between 1957 and 1961 in English and held by 6 WorldCat member libraries worldwide
Bestimmung eines astronomischen Azimutes auf dem neuen magnetischen Observatorium in Fürstenfeldbruck bei München(
Book
)
1 edition published in 1939 in German and held by 5 WorldCat member libraries worldwide
1 edition published in 1939 in German and held by 5 WorldCat member libraries worldwide
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der p1/2Separation [PiSeparation] und BarInduktion by
Wilfried Buchholz(
Book
)
3 editions published between 1983 and 1984 in German and held by 4 WorldCat member libraries worldwide
3 editions published between 1983 and 1984 in German and held by 4 WorldCat member libraries worldwide
Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit P12Separation [PiSeparation] und BarInduktion : [Sitzung
vom 12. Dezember 1986] by
K Schütte(
Book
)
2 editions published in 1987 in German and held by 4 WorldCat member libraries worldwide
2 editions published in 1987 in German and held by 4 WorldCat member libraries worldwide
Zur Beweistheorie von KPM : vorgetragen in der Sitzung vom 08. Januar 1993 by
K Schütte(
Book
)
3 editions published between 1993 and 1994 in German and held by 4 WorldCat member libraries worldwide
3 editions published between 1993 and 1994 in German and held by 4 WorldCat member libraries worldwide
Primitivrekursive Ordinalzahlfunktionen by
K Schütte(
Book
)
3 editions published between 1975 and 1976 in German and Undetermined and held by 4 WorldCat member libraries worldwide
3 editions published between 1975 and 1976 in German and Undetermined and held by 4 WorldCat member libraries worldwide
Eine syntaktische Abgrenzung der CAAnalysis by Gerhard Jäger(
Book
)
2 editions published between 1979 and 1980 in German and held by 4 WorldCat member libraries worldwide
2 editions published between 1979 and 1980 in German and held by 4 WorldCat member libraries worldwide
Axiomatische Mengenlehre : Vorlesung, geh. im Wintersemester 1969/70 an d. Univ. München by
K Schütte(
Book
)
1 edition published in 1970 in German and held by 4 WorldCat member libraries worldwide
1 edition published in 1970 in German and held by 4 WorldCat member libraries worldwide
Gesamtwirtschaftliche, soziale Zusammenhänge verstehen by
K Schütte(
Book
)
2 editions published in 1992 in German and Undetermined and held by 4 WorldCat member libraries worldwide
2 editions published in 1992 in German and Undetermined and held by 4 WorldCat member libraries worldwide
Einführung in die mathematische Logik by
K Schütte(
Book
)
2 editions published in 1973 in German and held by 3 WorldCat member libraries worldwide
2 editions published in 1973 in German and held by 3 WorldCat member libraries worldwide
Syntaktische Abgrenzungen von formalen Systemen der PiAnalysis und Delta Analysis by
Wilfried Buchholz(
Book
)
2 editions published between 1980 and 1981 in German and held by 3 WorldCat member libraries worldwide
2 editions published between 1980 and 1981 in German and held by 3 WorldCat member libraries worldwide
Fusion of IR and Visual Images by
K Schütte(
Book
)
3 editions published in 1997 in English and held by 2 WorldCat member libraries worldwide
Image fusion is the process where several independently recorded images are combined into a single image. This report describes the fusion of thermal IR and visual imagery. For image fusion an optimality criterion is defined. If the input images are assumed to be dependent the optimal fusion process is image blending. For independent input images pyramidal solutions such as Burt's algorithm are shown to be optimal. Several image sequences are processed with the techniques described in the report. Results presented in the report indicate that, for the images used, image fusion results in images with a higher information content. Hardware requirements for the algorithms presented are given. Realtime implementation on current plugin DSP boards seems possible. An initial study is performed into Automatic Target Recognition based upon multiple input images. The results look promising
3 editions published in 1997 in English and held by 2 WorldCat member libraries worldwide
Image fusion is the process where several independently recorded images are combined into a single image. This report describes the fusion of thermal IR and visual imagery. For image fusion an optimality criterion is defined. If the input images are assumed to be dependent the optimal fusion process is image blending. For independent input images pyramidal solutions such as Burt's algorithm are shown to be optimal. Several image sequences are processed with the techniques described in the report. Results presented in the report indicate that, for the images used, image fusion results in images with a higher information content. Hardware requirements for the algorithms presented are given. Realtime implementation on current plugin DSP boards seems possible. An initial study is performed into Automatic Target Recognition based upon multiple input images. The results look promising
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Diller, Justus Other Editor
 Müller, G. H. (Gert Heinz) 1923 Other Author Editor
 Schmidt, H. Arnold Author Editor
 Thiele, H. J. (Helmut J.) Editor
 International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
 Buchholz, Wilfried 1948 Author
 Logic Colloquium <1966, Hannover>
 SpringerLink (Service en ligne)
 ISILC Proof Theory Symposion
 International Summer Institute and Logic Colloquium
Useful Links
Alternative Names
Kurt Schütte deutscher Mathematiker
Kurt Schütte Duits wiskundige
Kurt Schütte German mathematician
Kurt Schütte matemàtic alemany
Kurt Schütte matemático alemán
Kurt Schütte mathématicien allemand
Kurt Schütte tysk matematikar
Kurt Schütte tysk matematiker
Schuette, K. matematičar
Schütte, K.
Schütte, Kurt
Schütte, Kurt 1909
Курт Шютте
库尔特·许特
Languages
Covers