Juliette Kennedy - Juliette Kennedy
Juliette Kennedy | |
|---|---|
| Alma mater | City University of New York |
| Vědecká kariéra | |
| Pole | matematická logika, teorie množin, základy matematiky, filozofie matematiky, Kurt Gödel |
| Instituce | Helsinská univerzita |
| Teze | Vkládání modelů aritmetiky do redukovaných sil[1] (1996) |
| Doktorský poradce | Attila Mate |
Juliette Kennedy je docentem na katedře matematiky a statistiky na VŠE University of Helsinki. Její hlavní výzkumné zájmy jsou matematická logika a základy matematiky. V průběhu své práce rozsáhle publikovala díla Kurt Gödel.
Vzdělání a kariéra
Kennedy je docentem na katedře matematiky a statistiky na univerzitě v Helsinkách.[2]:xv
Oblasti výzkumu
Kennedyho výzkum na Helsinské univerzitě se zaměřuje na matematická logika v oblasti teorie množinově-teoretických modelů a teorie množin. V rámci své matematické práce se věnuje také výzkumu dějiny matematiky a základy matematiky. V této souvislosti uskutečnila rozsáhlý projekt umisťování děl Kurt Gödel v jeho historickém a základním kontextu.[2]:xv V roce 2017 vydala svůj výzkum souhry mezi pracemi Alan Turing a to Gödel, který v roce 1956 definoval Problém P versus NP v dopise John von Neumann.[2]:14
Knihy
Kennedy a Roman Kossak jsou redaktory Teorie množin, aritmetika a základy matematiky: věty, filozofie, publikovaný jako Kniha 36 v sérii Logické poznámky k přednášce v roce 2012 Cambridge University Press.[3]
Kennedy je editorem Tlumočení Gödel: Kritické eseje, publikoval v roce 2014 Cambridge University Press a dotisk v roce 2017. V knize Kennedy spojil přední současné filozofy a matematiky, aby prozkoumali dopad Gödelovy práce na základy a filozofii matematiky. Logik Kurt Gödel v roce 1931 formuloval věty o neúplnosti, které mimo jiné dokazují, že v jakémkoli formálním systému se zdroji dostatečnými ke kódování aritmetiky existují otázky, které nejsou prokazatelné ani vyvratitelné na základě axiomy které definují systém.[4]
Reference
- ^ Juliette Kennedy na Matematický genealogický projekt
- ^ A b C Juliet Floyd; Alisa Bokulich, eds. (2017). Filozofické zkoumání dědictví Alana Turinga: Turing 100. Springer. ISBN 9783319532806.
- ^ ""Teorie množin, aritmetika a základy matematiky: Věty, filozofie „Juliette Kennedy & Roman Kossak (eds.) Cambridge University Press (2012)“. PhilPapers.
- ^ ""Tlumočení Gödel: Kritické eseje „Juliette Kennedy (ed.) Cambridge: Cambridge University Press (2014)“. PhilPapers.
