Andrzej Mostowski
Andrzej Mostowski
| Aniversário |
1 r de Novembro de 1913 Lviv |
|---|---|
| Morte |
22 de agosto de 1975(61 anos) Vancouver |
| Nacionalidade | polonês |
| Treinamento | Universidade de Varsóvia |
| Atividades | Matemático , Filósofo |
| Trabalhou para | Universidade de Varsóvia , Universidade Jagiellonian |
|---|---|
| Campo | Matemática |
| Diretores de teses | Alfred Tarski , Kazimierz Kuratowski |
Andrzej Mostowski (1 r nov 1913 - 22 de agosto de 1975) foi um matemático polonês . Em 1938, ele recebeu o doutorado em matemática pela Universidade de Varsóvia .
Ele se especializou principalmente em lógica matemática . Na teoria dos conjuntos , ele trabalhou entre outras coisas sobre a coerência relativa da negação do axioma da escolha , aperfeiçoando e generalizando um método originalmente devido a Abraham Fraenkel e conhecido hoje como o método de permutação Fraenkel-Mostowski. Embora esse método use essencialmente uma teoria dos conjuntos com átomos , ele poderia, combinado com o forçamento de Paul Cohen , ser transposto para a teoria dos conjuntos ZFC .
Mostowski também trabalhou em teoria de modelos e teoria da computabilidade .
Bibliografia
- Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel , North-Holland, Amsterdam, 1952. ( ISBN 978-0313231513 )
links externos
-
Registros de autoridade :
- Arquivo de autoridade internacional virtual
- Identificador de Nome Padrão Internacional
- CiNii
- Biblioteca Nacional da França ( dados )
- Sistema de documentação universitária
- Biblioteca do Congresso
- Gemeinsame Normdatei
- Biblioteca Real da Holanda
- Biblioteca da Universidade da Polônia
- Rede de Bibliotecas da Suíça Ocidental
- Base da Biblioteca Norueguesa
- Biblioteca Nacional Tcheca
- Id do WorldCat
- WorldCat
- Biografia Mac Tutor , JJ O'Connor e EF Robertson.