Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Hans Hermes

Índice Hans Hermes

Hans Hermes (Neunkirchen, Sarre, –) foi um matemático alemão, que contribuiu de forma significativa para os fundamentos da lógica matemática.

8 relações: Arnold Oberschelp, Encyklopädie der mathematischen Wissenschaften, Grundlehren der mathematischen Wissenschaften, Heinrich Scholz, Heinz-Dieter Ebbinghaus, Konrad Jacobs, Max Koecher, Máquina de registradores.

Arnold Oberschelp

Arnold Oberschelp (Recklinghausen) é um matemático alemão, especialista em lógica.

Novo!!: Hans Hermes e Arnold Oberschelp · Veja mais »

Encyklopädie der mathematischen Wissenschaften

direita A Encyklopädie der mathematischen Wissenschaften mit Einschluß ihrer Anwendungen foi um projeto de enciclopédia de ciências matemáticas (em sentido amplo) incluindo aplicações, publicada pela B. G. Teubner Verlag em Leipzig de 1898 a 1935.

Novo!!: Hans Hermes e Encyklopädie der mathematischen Wissenschaften · Veja mais »

Grundlehren der mathematischen Wissenschaften

Grundlehren der mathematischen Wissenschaften (originalmente Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete) é uma série de livros tradicionais de monografias matemáticas e livros-texto publicada pela Springer Verlag desde 1921.

Novo!!: Hans Hermes e Grundlehren der mathematischen Wissenschaften · Veja mais »

Heinrich Scholz

Heinrich Scholz (Berlim, – Münster) foi um lógico, filósofo e teólogo alemão.

Novo!!: Hans Hermes e Heinrich Scholz · Veja mais »

Heinz-Dieter Ebbinghaus

Heinz-Dieter Ebbinghaus (Hemer) é um matemático alemão.

Novo!!: Hans Hermes e Heinz-Dieter Ebbinghaus · Veja mais »

Konrad Jacobs

Konrad Jacobs (Rostock, –) foi um matemático alemão.

Novo!!: Hans Hermes e Konrad Jacobs · Veja mais »

Max Koecher

Max Koecher (Weimar, — Lengerich) foi um matemático alemão.

Novo!!: Hans Hermes e Max Koecher · Veja mais »

Máquina de registradores

Na lógica matemática e na ciência da computação teórica uma máquina de registradores é uma classe genérica de máquinas abstratas usadas de uma maneira similar a máquina de Turing.

Novo!!: Hans Hermes e Máquina de registradores · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »