First Page | Document Content | |
---|---|---|
![]() Date: 2014-05-15 11:12:05Philosophical movements Vienna Circle Linguistic turn Logicians Rudolf Carnap Gottlob Frege Logicism Logical positivism Kurt Gödel Philosophy Analytic philosophy Analytic philosophers | Add to Reading List |
![]() | On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-PérezDocID: 1tJTj - View Document |
![]() | Condition for the absence of timelike closed curves How to find new Lorentzian metrics? Comments on spacetime kinematics First example: Metrics with vanishing shear tensor Second example: Gödel metric Third example: GenDocID: 1qgau - View Document |
![]() | KW 12 Zeitraum Kurt-Gödel-Hörsaal.2016DocID: 1ooXA - View Document |
![]() | The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1DocID: 1lFRF - View Document |
![]() | FLOC 2014 Jan Otop IST Austria September 3, 2013DocID: 18HX8 - View Document |