www.luntacunt.fora.pl
Luntacunt project
www.luntacunt.fora.pl Forum Index
->
Legal / publishing
Post a reply
Username
Subject
Message body
Emoticons
View more Emoticons
Font colour:
Default
Dark Red
Red
Orange
Brown
Yellow
Green
Olive
Cyan
Blue
Dark Blue
Indigo
Violet
White
Black
Font size:
Tiny
Small
Normal
Large
Huge
Close Tags
Options
HTML is
OFF
BBCode
is
ON
Smilies are
ON
Disable BBCode in this post
Disable Smilies in this post
Confirmation code: *
All times are GMT + 2 Hours
Select a forum
Team
----------------
Rules
Announcements
Assignments
Forge
Legal / publishing
Tips & Tricks
Pub
Design
----------------
Genre
Technologie
Implementacja
----------------
Schedule
Snapshots
Topic review
<table border="0" cellpadding="3" cellspacing="1" width="100%" class="forumline"> <tr> <th class="thCornerL" width="22%" height="26">Author</th> <th class="thCornerR">Message</th> </tr> <tr> <td width="22%" align="left" valign="top" class="row1"><span class="name"><a name=""></a><b>cheapbag214s</b></span></td> <td class="row1" height="28" valign="top"><table width="100%" border="0" cellspacing="0" cellpadding="0"> <tr> <td width="100%"><img src="http://picsrv.fora.pl/Aeolus/images/icon_minipost.gif" width="12" height="9" alt="Post" title="Post" border="0" /><span class="postdetails">Posted: Mon 13:26, 04 Nov 2013<span class="gen"> </span> Post subject: a higher being must exist</span></td> </tr> <tr> <td colspan="2"><hr /></td> </tr> <tr> <td colspan="2"><span class="postbody">Mathematician says proof of Goedel's God theorem shows computer power <br />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.pradaoutletuks.co.uk]prada shoes men[/url], based on principles of modal logic, a higher being must exist, 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.</span></td> </tr> </table></td> </tr> <tr> <td colspan="2" height="1" class="spaceRow"><img src="http://picsrv.fora.pl/Aeolus/images/spacer.gif" alt="" width="1" height="1" /></td> </tr> </table>
fora.pl
- załóż własne forum dyskusyjne za darmo
Powered by
phpBB
© 2001-2003 phpBB Group
Theme created by
Vjacheslav Trushkin
Regulamin
