Persons tagged with «Philosophy of Mathematics»
| Name | Phone | Tags | |
|---|---|---|---|
Antonsen, Roger
Associate Professor
|
+47 22852482 | rantonse@ifi.uio.no | Logic, Proof Theory, Automated Reasoning, Proof Search, Modal Logic, First-Order Logic, Complexity Theory, Automata, Cellulære automater, Generative Art, Algorithms, Algorithmic Art, Mathematical Art, Netlogo, Processing, Philosophy, Philosophy of Mathematics, Outreach, Science Communication |
Linnebo, Øystein
Professor
|
+47 22856961 +47 46660036 (mob) | oystein.linnebo@ifikk.uio.no | Philosophy, Philosophical Logic, Philosophy of Mathematics, Metaphysics, Philosophy of Language, Frege |