| Raum: | Phil 1008 | |
| Telefon: | ||
| Telefax: | ||
| e-mail: | ali.behboud@uni-hamburg.de |
| 1978–1985 | Studium der Mathematik, Physik und Philosophie an der Universität Hamburg | |
| 1982/83 | Werkstudent im Philips Forschungslabor (Telematik: ISDN) | |
| 1984–1985 | Abschlußstipendium der Hamburg Rotary-Stiftung | |
| 1985 | Diplom in Mathematik (Thema: Über wechselseitige Darstellbarkeit) | |
| 1985/86 | Softwareentwicklung im Bereich Marktforschung | |
| 1986 | Wiss. Mitarbeiter am FB Informatik der Universität Hamburg im Arbeitsbereich Theoretische Grundlagen der Informatik | |
| 1986–1988 | Promotionsstipendium der Stadt Hamburg (HmbNF) | |
| 1989 | Promotion zum Dr. rer. nat. am FB Mathematik Dissertation: Planar abgeschlossene Theorien von Fastkörpern |
|
| 1989–1990 | Vertretung einer Assistentur am FB Informatik der Universität Hamburg im Arbeitsbereich Theoretische Grundlagen der Informatik Lehraufträge des Mathematischen und Philosophischen Seminars |
|
| 1990–1992 | Postdoctoral Visiting Fellow am Center for Philosophy of Science an der University of Pittsburgh (USA) Feodor-Lynen-Forschungsstipendiat der Alexander von Humboldt-Stiftung Lehraufträge am Dept. of Computer Science |
|
| 1992–1995 | Wiss. Mitarbeiter am Philosophischen Seminar der Universität Hamburg Habilitationsprojekt: Zur Erkenntnistheorie mathematischer Beweise |
|
| 1995–2001 | Wissenschaftlicher Assistent am Philosophischen Seminar | |
| seit 2005 | Lehrkraft für besondere Aufgaben: Ausbildung im gemeinsamen ABK-Bereich der Fächer Philosophie und Geschichtswissenschaft für Studierende der B.A.-Studiengänge |
Mathematik sowie ihre Philosophie und ihre Geschichte, mathematischen Logik (insbes. Modell- und Rekursionstheorie), Philosophie und Geschichte der Logik, Wissenschafts- und Erkenntnistheorie, Sprachphilosophie (formale Semantik)
A: Monographien
Über wechselseitige Darstellbarkeit. Diplomarbeit, Universität Hamburg 1985.
Planar abgeschlossene Theorien von Fastkörpern. Dissertation, Universität Hamburg 1989.
Theorie der Kalküle. Skript einer Vorlesung im SS 1989 am FB Informatik; Mitteilungen des Fachbereichs Informatik der Universität Hamburg, FBI-HH-M-172/89.
Einführung in die Logik. Studien aus dem Philosophischen Seminar 28, Universität Hamburg 1994.
Bolzanos Beiträge zur Mathematik und ihrer Philosophie. Bern Studies in the History and Philosophy of Science. Bern 2000.
B: Aufsätze und andere Beiträge
Übersetzung des Kapitels ‘Epistemic Terms’ aus: R. M. Chisholm, Perceiving; in: P. Bieri (Hrsg.), Analytische Philosophie der Erkenntnis, Frankfurt/M. 1987, pp. 85–90.
Ultraprodukte von Fastkörpern als Restklassenkonstruktionen; in: Results in Mathematics, Vol. 11 (1987), pp. 193–197.
Rezension von: B. H. Slater, Prolegomena to Formal Logic, Gower Publ. Comp., 1988 (292 pp.); in: Journal of History and Philosophy of Logic, Vol. 11 (1990), pp. 101–103.
Universell axiomatisierbare Klassen von Fastkörpern; in: Results in Mathematics, Vol. 17 (1990), pp. 52–58.
Planare Abgeschlossenheit von Dicksonschen Fastkörpern und die Tiefe von Gruppenkopplungen; in: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, Vol. 61 (1991), pp. 35–46.
Greek Geometrical Analysis, Centaurus, Vol. 37 (1994), pp. 52–86.
Stichwort ‘Modelltheorie’ (pp. 408–409); in: G. Strube et al. (Hrsg.), Wörterbuch der Kognitionswissenschaft, Stuttgart: Klett-Cotta 1996.
Rezension von: B. Bolzano, Miscellanea Mathematica 9 (Hrsg. von B. van Rootselaar und A. van Lugt, Stuttgart-Bad Cannstadt 1994); in: Archiv für Geschichte der Philosophie 78 (1996), pp. 217–223.
Remarks on Bolzano’s Collections; in: Grazer philosophische Studien 53 (1997), pp. 109–115.
Comments on Macia’s Paper [Josep Macia: On the Interpretation of Formal Languages and the Analysis of Logical Properties, Theoria 15 (2000) 235–258]; in: Theoria 15 (2000), pp. 259–262.
Rezension von: B. Bolzano, Functionenlehre und Zusätze zur Functionenlehre. (Hrsg. von Bob van Rootselaar. Stuttgart-Bad Cannstatt 2000.) In: Archiv für Geschichte der Philosophie 84 (2002), pp. 123–126.
Rezension von: S. Cuomo, Pappus of Alexandria and the of Late Antiquity, Cambridge UP 2000. Im Auftrag für Isis, in: Isis 93 (2002), pp. 102–103.
Rezension von: S. Russ, The Works of Bernard Bolzano, Oxford UP 2004. Im Auftrag für Philosophia Mathematica 14 (2006), pp. 352–362.