WorldCat Identities

Schütte, K. (Kurt)

Overview
Works: 88 works in 220 publications in 5 languages and 2,583 library holdings
Genres: Conference papers and proceedings  Bibliography  Handbooks and manuals 
Roles: Author, Editor, Honoree, Other
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by K Schütte
Proof theory by K Schütte( Book )

38 editions published between 1960 and 1977 in 3 languages and held by 794 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, type-free 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 )

20 editions published between 1968 and 2012 in German and Italian and held by 399 WorldCat member libraries worldwide

Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966 by H. Arnold Schmidt( Book )

22 editions published in 1968 in 3 languages and held by 397 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 Justus Diller( Book )

15 editions published in 1975 in English and German and held by 364 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 83 WorldCat member libraries worldwide

Lecture notes in mathematical logic by K Schütte( Book )

4 editions published in 1962 in English and held by 65 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

Guide to stars by Walter Widman( Book )

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

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

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

Mathematische Logik : 8.4. bis 14.4.1973( Book )

2 editions published in 1973 in German and held by 3 WorldCat member libraries worldwide

Beweistheorie by K Schütte( Book )

2 editions published in 1960 in German and held by 3 WorldCat member libraries worldwide

Proof theory symposion by International Summer Institute and Logic Colloquium( Book )

4 editions published in 1975 in English and Undetermined and held by 3 WorldCat member libraries worldwide

Mathematische Logik : 21.4. bis 27.4.1974( Book )

2 editions published in 1974 in German and held by 3 WorldCat member libraries worldwide

Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis by Wilfried Buchholz( Book )

2 editions published between 1980 and 1981 in German and held by 3 WorldCat member libraries worldwide

Relative Schwere-Messungen in Bayern by Ernst Zinner( Book )

1 edition published in 1931 in German and held by 3 WorldCat member libraries worldwide

Proof theory by K Schütte( )

in Italian 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. Real-time implementation on current plug-in DSP boards seems possible. An initial study is performed into Automatic Target Recognition based upon multiple input images. The results look promising
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.53 for Guide to s ... to 0.98 for Proof theo ...)

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, 1974ISILC Proof Theory Symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974Proof theory symposion
Alternative Names
Kurt Schütte deutscher Mathematiker

Kurt Schütte Duits wiskundige

Kurt Schütte German mathematician

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
ISILC Proof Theory Symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974Proof theory symposion