Hans Kamp
 (2017)  | |
| Beathaisnéis | |
|---|---|
| Breith | 5 Meán Fómhair 1940 84 bliana d'aois Den Burg, An Ísiltír |
| Faisnéis phearsanta | |
| Scoil a d'fhreastail sé/sí | Ollscoil California, Los Angeles |
| Comhairleoir dochtúireachta | Richard Montague |
| Gníomhaíocht | |
| Gairm | múinteoir ollscoile, teangeolaí, fealsamh |
| Fostóir | Ollscoil Stuttgart Institiúid Teicneolaíochta Massachusetts |
| Ball de | |
| Saothar | |
| Mac léinn dochtúireachta | Ray Turner, Claus Zinn, Frank J. M. M. Veltman agus Robert van Rooij |
Gradam a fuarthas
| |
Is fealsamh agus teangeolaí Dúitseach é Johan Anthony Willem "Hans" Kamp (rugadh 5 Meán Fómhair 1940 ) [1] a bhí freagrach as teoiric an athláithrithe dioscúrsa (TAD) a thabhairt isteach sa bhliain 1981. [2] [3]
Beathaisnéis
[cuir in eagar | athraigh foinse]Rugadh Kamp i Den Burg.[1] Fuair sé Ph.D. san Fhealsúnacht ó UCLA sa bhliain 1968, agus theagasc sé in Ollscoil Cornell, Ollscoil Londan, Ollscoil Texas, Austin, agus Ollscoil Stuttgart.[4] Bhí a thráchtas, Tense Logic and the Theory of Linear Order (1968) [5] dírithe ar shláine fheidhmiúil(Béarla: functional completeness) i loighic aimsire, is é an toradh is mó ná go bhfuil gach oibreoir ama insainithe ó thaobh "ó" agus "go dtí ", ar choinníoll gur ordú líneach leanúnach é an bunstruchtúr ama. Ba é páipéar Kamp's 1971 ar "anois" (foilsithe i Theoria) an chéad úsáid as innéacsú dúbailte i séimeantaic na samhla teoiriciúla. I measc a choiste dochtúireachta bhí Richard Montague mar chathaoirleach, Chen Chung Chang, David Kaplan, Yiannis N. Moschovakis, agus Jordan Howard Sobel.
Rinneadh Kamp ina bhall comhfhreagrach d'Acadamh Ríoga Ealaíon agus Eolaíochtaí na hÍsiltíre sa bhliain 1997.[6] Bronnadh Duais Jean Nicod air sa bhliain 1996 [7] agus toghadh é ina Chomhalta d'Acadamh Ealaíon & Eolaíochtaí Mheiriceá sa bhliain 2015.[8] Sa bhliain 2024 bronnadh Duais Rolf Schock air i gcomhpháirt le Irene Heim.[9]
Foilseacháin
[cuir in eagar | athraigh foinse]- Kamp, Hans. 'A Theory of Truth and Semantic Representation'. In J. Groenendijk and others (eds.). Formal Methods in the Study of Language. Amsterdam: Mathematics Center, 1981.
- Kamp, Hans and Uwe Reyle. `From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory'. Dordrecht: Kluwer Academic Publishers, 1994.
Tagairtí
[cuir in eagar | athraigh foinse]- ↑ 1.0 1.1 D. J. van de Kaa (19 December 2008). "De Leden Van de Koninklijke Nederlandse Akademie Van Wetenschappen: Een Demografisch Perspectief: 1808 Tot 2008". Amsterdam University Press. ISBN 978-90-6984-552-4.
- ↑ Maier (2007-05-22). "Discourse Representation Theory".
- ↑ “UT College of Liberal Arts: Faculty Profile Prof. Hans Kamp”. liberalarts.utexas.edu. Dáta rochtana: 2019-03-20.
- ↑ Tá ort na shonrú' 'teideal = agus' 'url = nuair a úsáideann {{ lua idirlín}}."".
- ↑ Kamp, Johan Anthony Willem (1968). "Tense logic and the theory of linear order." (as English). OCLC 26523229.
- ↑ Tá ort na shonrú' 'teideal = agus' 'url = nuair a úsáideann {{ lua idirlín}}."".
- ↑ Tá ort na shonrú' 'teideal = agus' 'url = nuair a úsáideann {{ lua idirlín}}."".
- ↑ "Johan Anthony Willem Kamp" (en).
- ↑ Rolf Schock Prize 2024