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: Gen

Source URL: xtsunxet.usc.es

• Theoretical physics
• Physics
• General relativity
• Exact solutions in general relativity
• Theory of relativity
• Lorentzian manifolds
• Gdel metric
• Metric tensor
• Spacetime
• Kurt Gdel
• Congruence
• Van Stockum dust

Aura Heydenreich, Erlangen Closed Timelike Curves: Gödel’s Solution for Einstein’s Field Equations in the General Theory of Relativity and Bach’s The Musical Offering as Configuration Models for Narrative Identity

Source URL: elinas.fau.de

• Physics
• Theoretical physics
• Theory of relativity
• Dimension
• Time travel
• Exact solutions in general relativity
• Lorentzian manifolds
• Anti-de Sitter space
• Differential geometry
• General relativity
• Closed timelike curve
• Spacetime

KW 12 Zeitraum Kurt-Gödel-Hörsaal.2016

Source URL: typo3.univie.ac.at

GodEls Avtalsvillkor

Source URL: godel.se

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria

Source URL: www.preining.info

• Logic
• Mathematical logic
• Abstraction
• Non-classical logic
• Model theory
• Predicate logic
• First-order logic
• Intermediate logic
• Many-valued logic
• FO
• Kripke semantics
• Fuzzy logic

First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b

Source URL: www.preining.info

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Non-classical logic
• Logic in computer science
• Predicate logic
• First-order logic
• Boolean satisfiability problem
• Gdel numbering
• Many-valued logic
• Kripke semantics

Tilläggsavtalsvillkor SPARSNÄSInledande bestämmelser 1.1. Dessa Avtalsvillkor (Tilläggsavtalsvillkor SPARSNÄS) är ett tillägg till GodEls ordinarie Avtalsvillkor (GodEls AvtalsvillkorVid inbö

Source URL: godel.se

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1

Source URL: www.cs.umd.edu

• Philosophy
• American philosophers
• Automated planning and scheduling
• Hierarchical task network
• Partial-order planning
• Kurt Gdel
• Logic programming
• Godel

The Gödel Prize 2013 Call for Nominations Deadline: January 11, 2013. The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical

Source URL: eatcs.org

Peach Gödel™ Primer Peach Gödel™ logical and state fuzzing framework The Peach Gödel™ logical and state fuzzing framework produces a new class of fuzzing tool that is capable of automating the detection of logic

Source URL: www.peachfuzzer.com