David Hilbert: Algebra and Axiomatics

2004 ◽  
pp. 137-182 ◽  
Author(s):  
Leo Corry
Keyword(s):  
Hilbert Algebra ◽  
David Hilbert

scholarly journals “I have Learned Non-Euclidean Geometry Just from this Book” - Some facets of the correspondence between Friedrich Engel and David Hilbert

2021 ◽  
Vol 76 (3) ◽  
Author(s):  
Peter Ullrich
Keyword(s):  
Present Article ◽  
19Th Century ◽  
Euclidean Geometry ◽  
Academic Life ◽  
David Hilbert ◽  
Non Euclidean Geometry ◽  
The 19Th Century

AbstractFriedrich Engel and David Hilbert learned to know each other at Leipzig in 1885 and exchanged letters in particular during the next 15 years which contain interesting information on the academic life of mathematicians at the end of the 19th century. In the present article we will mainly discuss a statement by Hilbert himself on Moritz Pasch’s influence on his views of geometry, and on personnel politics concerning Hermann Minkowski and Eduard Study but also Engel himself.

The Belluce-lattice associated with a bounded Hilbert algebra

2015 ◽  
Vol 19 (11) ◽  
pp. 3031-3042
Author(s):  
Dumitru Buşneag ◽  
Dana Piciu
Keyword(s):  
Hilbert Algebra

scholarly journals Square-integrable representations of non-unimodular groups

1976 ◽  
Vol 15 (1) ◽  
pp. 1-12 ◽  
Author(s):  
A.L. Carey
Keyword(s):  
Hilbert Space ◽  
Reproducing Kernel ◽  
Reproducing Kernel Hilbert Space ◽  
Hilbert Algebra ◽  
Technical Tool ◽  
Integrable Representation ◽  
Hilbert Algebras ◽  
Orthogonality Relations ◽  
Square Integrable Representation ◽  
Main Technical Tool

In the last three years a number of people have investigated the orthogonality relations for square integrable representations of non-unimodular groups, extending the known results for the unimodular case. The results are stated in the language of left (or generalized) Hilbert algebras. This paper is devoted to proving the orthogonality relations without recourse to left Hilbert algebra techniques. Our main technical tool is to realise the square integrable representation in question in a reproducing kernel Hilbert space.

scholarly journals Introducing formalism in economics: The growth model of John von Neumann

2010 ◽  
Vol 57 (2) ◽  
pp. 153-172 ◽  
Author(s):  
Sandye Gloria-Palermo
Keyword(s):  
Growth Model ◽  
John Von Neumann ◽  
Von Neumann ◽  
David Hilbert ◽  
The 1950S ◽  
Pragmatic Turn ◽  
The Impact

The objective is to interpret John von Neumann's growth model as a decisive step of the forthcoming formalist revolution of the 1950s in economics. This model gave rise to an impressive variety of comments about its classical or neoclassical underpinnings. We go beyond this traditional criterion and interpret rather this model as the manifestation of von Neumann's involvement in the formalist programme of mathematician David Hilbert. We discuss the impact of Kurt G?del's discoveries on this programme. We show that the growth model reflects the pragmatic turn of the formalist programme after G?del and proposes the extension of modern axiomatisation to economics.

David Hilbert

1990 ◽  
pp. 223-234
Author(s):  
Herbert Meschkowski
Keyword(s):  
David Hilbert

Turing, Alan Mathison (1912–1954)

2018 ◽  
Author(s):  
Adam James Bradley
Keyword(s):  
Central Limit Theorem ◽  
Limit Theorem ◽  
Decision Procedure ◽  
Second World War ◽  
World War ◽  
David Hilbert ◽  
Modern Computer ◽  
King's College ◽  
The Central Limit Theorem ◽  
Second World

Alan Mathison Turing is known as the father of modern computer science. Of his early achievements he helped to bring the Second World War to a close by deciphering the Nazis’ encryption machine, Enigma. As an undergraduate, Turing developed a new proof of the Central Limit Theorem. This led to graduate work at King’s College, where he wrote what may be his most important work, the 1936 paper entitled ‘On Computable Numbers, with an application to the Entscheidungsproblem’. In this paper, Turing answered the problem posed by German mathematician David Hilbert in 1928 calling for a proof of a decision procedure. His approach to this proof led to the concept of what is now known as Turing Machines.

La 7e Conférence Jeffery-Williams Présentée le 7 Juin 1974 à L'université Laval à L'occasion de la 28e Réunion Annuelle de la Société Mathématique

1975 ◽  
Vol 18 (3) ◽  
pp. 443-461 ◽  
Author(s):  
Hans J. Zassenhaus
Keyword(s):  
David Hilbert ◽  
Il Y A

Il me fait un très grand plaisir de vous présenter aujourd'hui la conférence Jeffrey-Williams nommée ainsi en l'honeur des distingués fondateurs de la Société Mathématique du Canada.Il y a beaucoup d'évidences indirectes d'un vif échange d'idées entre Herman Minkowski et David Hilbert, pendant la période de temps entre la soutenance de thèse de Hilbert (décembre 1884) et la mort prématurée de Minkowski (le 12 janvier 1909).

Sign in / Sign up

Export Citation Format

Share Document