Die Vier Wissenschaften Der Pythagoreer. Hundert Jahre Formale Logik: 247. Sitzung Am 1. Dezember 1976 in Dusseldorf - Rheinisch-Westfalische Akademie Der Wissenschaften - Bartel L Waerden - Livros - Springer Fachmedien Wiesbaden - 9783531082684 - 1977
Caso a capa e o título não sejam correspondentes, considere o título como correto

Bartel L Waerden
Die Vier Wissenschaften Der Pythagoreer. Hundert Jahre Formale Logik: 247. Sitzung Am 1. Dezember 1976 in Dusseldorf - Rheinisch-Westfalische Akademie Der Wissenschaften 1977 edition

Preço
R$ 279,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Bartel L Waerden

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Formal logic presupposes a formal language. A rudimentary formal language was given by G. Boole. A formal language which was sufficient for the purpose of mathematics was constructed by Gottlob Frege in his book " Begriffsschrift, eine der arithmetischen nachgebildete Formel­ sprache des reinen Denkens" (1879). Since that time we have an abun­ dant spectrum of logics based on formal languages. There are applications mainly in mathematics ("metamathematics"), but also e. g. in philos­ ophy, linguistics and computer science. The most important formal language is the first order predicate calculus. There has been a gradual emancipation of this language via the theory of types given by Bertrand Russell. This paper discusses that development in some details. Diskussion Herr Hlawka: Sie haben gesagt, der Wiener Kreis sei tiber Carnap von Frege beeinfluBt gewesen. Ich wtirde eher meinen, tiber Russell. Dann haben Sie gesagt, daB bei Frege der Funktionsbegriff im Vorder­ grund steht. Ich finde, daB dieser Gesichtspunkt gerade in der von Neu­ mannschen Theorie verwirklicht ist. Herr Hermes: Von Neumann hat in der Tat den Funktionsbegriff als Grundbegriff der Mengenlehre gewahlt. Es hat aber niemand direkt dar­ an angekntipft. Herr Hlawka: Vielleicht die moderne Kategorientheorie. Herr Hermes: Das stimmt. Herr Hlawka: Aber dann ist es doch so, daB der Pradikatenkalktil der ersten Stufe nur dann ausreicht, die klassische Mathematik zu begrtin­ den, das heiBt kurz das, was bei Bourbaki steht, wenn man die Mengen­ lehre als Fundament nimmt.

50 pages, black & white illustrations, bibliography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1977
ISBN13 9783531082684
Editoras Springer Fachmedien Wiesbaden
Páginas 50
Dimensões 170 × 244 × 3 mm   ·   99 g
Idioma Alemão  

Mais da mesma editora

Ver tudo de Bartel L Waerden