Forum Karczmy Bezdennego Kufla
Forum świata wyobraźni...
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Profil
Zaloguj się, by sprawdzić wiadomości
Zaloguj
Forum Forum Karczmy Bezdennego Kufla Strona Główna
->
Off Topic
Napisz odpowiedź
Użytkownik
Temat
Treść wiadomości
Emotikony
Więcej Ikon
Kolor:
Domyślny
Ciemnoczerwony
Czerwony
Pomarańćzowy
Brązowy
Żółty
Zielony
Oliwkowy
Błękitny
Niebieski
Ciemnoniebieski
Purpurowy
Fioletowy
Biały
Czarny
Rozmiar:
Minimalny
Mały
Normalny
Duży
Ogromny
Zamknij Tagi
Opcje
HTML:
TAK
BBCode
:
TAK
Uśmieszki:
TAK
Wyłącz HTML w tym poście
Wyłącz BBCode w tym poście
Wyłącz Uśmieszki w tym poście
Kod potwierdzający: *
Wszystkie czasy w strefie EET (Europa)
Skocz do:
Wybierz forum
Ogólne
----------------
Forum Ogólne
Karczma
----------------
Informacje
Wolna Twórczość
RPG
----------------
Sesje RPG
Gildie
Dla PCtowców
----------------
MMORPG
cRPG
Inne
Off Topic
----------------
Off Topic
Kosz
----------------
Kosz
Przegląd tematu
Autor
Wiadomość
cheapbag214s
Wysłany: Śro 1:39, 06 Lis 2013
Temat postu: crisp thing
Mathematician says proof of Goedel's God theorem shows computer power
BERLIN, Oct. 23 () -- Scientists from Germany and Austria say they have proved a 20th century theorem that mathematics can be used to prove the existence of a higher being.Christoph Benzmueller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna said they used a MacBook computer to test the theorem, developed in the last century by Austrian mathematician Kurt Goedel that,[url=http://www.parajumpersjackenoutlet.de/]long bear parajumpers[/url], based on principles of modal logic, a higher being must exist,[url=http://www.parajumpersjackenoutlet.de/]parajumpers jacken outlet[/url], Germany's Der Spiegel reported Wednesday.The report said Goedel argued that, by definition, nothing greater than a supreme being can exist, and he proposed a mathematical model to prove the existing of such a power.Benzmueller and Paleo have shown Goedel's proof was mathematically correct.However, the mathematicians told Der Spiegel the significance of their proof of Goedel's axioms -- published on arXiv.org in a post titled "Formalization, Mechanization and Automation of Goedel's Proof of God's Existence" -- has less to do with proving God exists than with demonstrating was superior technology can help science achieve."I didn't know it would create such a huge public interest but [Goedel's ontological proof] was definitely a better example than something inaccessible in mathematics or artificial intelligence," Benzmueller said."It's a very small, crisp thing, because we are just dealing with six axioms in a little theorem. ... There might be other things that use similar logic. Can we develop computer systems to check each single step and make sure they are now right?"Benzmueller and Paleo said they think their work might have applications in developing artificial intelligence, among other fields.
fora.pl
- załóż własne forum dyskusyjne za darmo
Powered by
phpBB
© 2001 phpBB Group
Chronicles phpBB2 theme by
Jakob Persson
(
http://www.eddingschronicles.com
). Stone textures by
Patty Herford
.
Regulamin