Poster Session

Submission for the Poster Session is closed.

Accepted Posters

The Kurt Gödel Centenary: Horizons of Truth organizers and sponsors have accepted the following posters to be displayed on Friday and Saturday (28.-29. April 2006) in the small Celebration Hall, and the Senate Hall of the University of Vienna.

• Vasileios Basios and Emilios Bouratinos. Goedel's Imperative For A Selfreflective Science
  
• Don Morris Mason Booker. Is the Origin of Mathematical Information Which Crosses Systems Boundaries, Decidable form Within the Given Mathematical Information System?
  
• Don Morris Mason Booker. Is God's Action in The World, and Communication with It, Decidable?
  
• Gabriel Ciobanu. Computable Real Numbers Expressed by Using While-Processes and Dynamic Logic
  
• Paolo Cotogno. A Note on Goedel's Alleged Rejection of Hilbert's Programme
  
• Christian Damboeck. The philosophical (ir)relevance of Goedel's proof
  
• Michael Heather and Nick Rossiter. The Demise of Number and Axiomatic Systems
  
• Joachim Hertel. Computing a Fixed Point on a Horizon of Truth
  
• Thomas Johnstone. Weakly Compact Cardinals Made Indestructible
  
• Antonis Kakas. On the Logic of Scientific Knowledge Development
  
• Shane Legg. Incompleteness and Artificial Intelligence
  
• Alexander Lyaletski (Sr.) and Alexandre Lyaletsky (Jr.). Admissible substitutions and Herbrand's theorems for classical and intuitionistic logics
  
• Gary Mar. Godel Incompleteness, Complexity and Chaos
  
• Constantin Pavloff. On 'Greek intuitions' of K.Goedel and unpredictable logical consequences
  
• Michael Pfender. Arithmetical Consistency
  
• Gyorgy Sereny. The diagonal lemma as the formalized Grelling paradox
  
• Ajay Sharma. The Origin of Generalized Mass-Energy Equation f'E= Ac2f'M and its applications in General physics and Cosmology
  
• Urszula, Barbara Wybraniec-Skardowska. Three Levels of Knowledge
  
• John Vella. On Incompleteness
  
• Andreas Weiermann. Phase transition thresholds for Goedel's incompleteness
  
• Dan Willard. On the Results of a 14-Year Effort to Generalize Goedel's Second Incompleteness Theorem and Explore Its Boundary Case Exceptions
  

  Poster Volume

  A poster volume will be published in the series Collegium Logicum of the Kurt Gödel Society and sent to all authors upon the completion of the Symposium.