Utan jag i himmelen

 

Teorin om ingenting Visa vad du läser! Förlagstryck från 129:-

Bloggen i tryck!!!

Förlagets Draget från oändligheten

böcker Mångfaldens mönster

Författarn i Second Life Min avatar heter Apmel

Själv läser jag just nu bl a .. "Stumbling on HAPPINESS" av Daniel Gilbert "Good and real" av Gary L. Drescher "The Cosmic Landscape" av Leonard Susskind "A General Theory of Love" av Lewis, Amini, Lannon "Programming the Universe" av Seth LLoyd "The Robot's Rebellion" av Keith E. Stanovich "Sweet Dreams" av Daniel C. Dennet "Breaking The Spell: Religion as a Natural Phenomenon" av Daniel C. Dennet "On Intelligence" av Jeff Hawkins "What is thought" av Eric B. baum "The Impact of Inequality" av Richard G. Wilkinson "The Evolution of reason: Logic as a Branch of Biology" av William S. Cooper Favoritbloggar för tillfället: Tankeorganisation Malin Sandströms Vetenskapsnytt Camillas Tid Lyssna! Läst och tänkt i Annien Funderingar om fandom Tempus Fugit

fredag, oktober 28, 2005   Matematikern Kurt Gödel lyckades 1931 med något som kommit att kallas ofullständighetsbeviset. Det är ett rigoröst matematiskt bevis på si så där 100 sidor. Den mest lättförståeliga förklaring av vad beviset egentligen säger har givits av fysikern och statistikern E. T. Jaynes, det låter kortfattat så här: Inget formellt system kan garantera sin egen motsägelsefrihet, eftersom det är ett elementärt logiskt faktum att A och icke-A samtidigt implicerar alla påståenden, sanna som falska och att varje implikation i ett formellt system kan härledas från ett formellt system som härbärgerar motsägelser och därför kan ingen implikation bevisa att systemet är motsägelsefritt. Gödels teorem har också använts som argument för åsikten att maskiner aldrig kan göras intelligenta. Det har inte hindrat att en uppsjö programmeringsspråk utvecklats för att programmera maskiner att göra mer eller mindre intelligenta saker. Jag har läst någonstan, jag kommer inte ihåg var, att Gödels upptäckt att datorprogram inte kan garantera sin konsistens, i själva verket blivit en drivkraft för hela programmeringsindustrin. I praktiken förkastade man tanken på att A generellt måste kunna hållas skiljt från icke-A. Det gick utmärkt att konstruera datorprogram som gjorde det de var ämnade att göra ändå. Mer i skymundan lade holländaren L. E. J. Brouwer i början av 1900-talet grunden till det som skulle komma att bli en subkultur inom matematiken. Den matematik som grundar sig på Brouwers tankar, som uttalat förkastar tanken att det inte skulle kunna finnas ”en tredje” möjlighet bortom A och icke-A, kallas vanligen konstruktiv matematik. Under 70- och 80-talet utvecklade de svenske matematikprofessorn Per Martin Löf en typteori för konstruktiv matematik. Ur ett färdigt bevis utfört i denna formalism kan enkelt extraheras motsvarande algoritm. Det beror på att formalismen kan uttrycka komplicerade påståenden som en typ. Att ett objekt har en viss typ är ett bevis för själva påståendet. Faktum är att Löfs formalism kan betraktas som ett slags programmeringsspråk, där specifikationen för en funktion kan uttryckas i dess typ, och därmed att hela kedjan specifikation _ programmering _ korrekthetsbevis kan utföras i ett och samma ramverk. Brouwer lyckades kanske inte lägga den nya grunden för matematiken i stort, som han hoppats, men lyckades skapa fröet till den nya grunden för programmering, där, Gödel till trots, formella korrekthetsbevis blir en naturlig del av programmeringen. Men framförallt kommer det att få modellerna av hjärnbarkens bayesianska nätverk att lyfta… posted by Apmel  # 14:47 << Home

Archives

2005/05/29 - 2005/06/05   2005/07/03 - 2005/07/10   2005/07/17 - 2005/07/24   2005/07/24 - 2005/07/31   2005/07/31 - 2005/08/07   2005/08/07 - 2005/08/14   2005/08/14 - 2005/08/21   2005/08/21 - 2005/08/28   2005/08/28 - 2005/09/04   2005/09/04 - 2005/09/11   2005/09/11 - 2005/09/18   2005/09/18 - 2005/09/25   2005/09/25 - 2005/10/02   2005/10/02 - 2005/10/09   2005/10/09 - 2005/10/16   2005/10/16 - 2005/10/23   2005/10/23 - 2005/10/30   2005/10/30 - 2005/11/06   2005/11/06 - 2005/11/13   2005/11/13 - 2005/11/20   2005/11/20 - 2005/11/27   2005/11/27 - 2005/12/04   2005/12/04 - 2005/12/11   2005/12/11 - 2005/12/18   2005/12/18 - 2005/12/25   2005/12/25 - 2006/01/01   2006/01/08 - 2006/01/15   2006/01/15 - 2006/01/22   2006/01/22 - 2006/01/29   2006/01/29 - 2006/02/05   2006/02/05 - 2006/02/12   2006/02/12 - 2006/02/19   2006/02/19 - 2006/02/26   2006/02/26 - 2006/03/05   2006/03/05 - 2006/03/12   2006/03/12 - 2006/03/19   2006/03/19 - 2006/03/26   2006/03/26 - 2006/04/02   2006/04/09 - 2006/04/16   2006/04/16 - 2006/04/23   2006/04/23 - 2006/04/30   2006/04/30 - 2006/05/07   2006/05/07 - 2006/05/14   2006/05/14 - 2006/05/21   2006/05/21 - 2006/05/28   2006/05/28 - 2006/06/04   2006/06/04 - 2006/06/11   2006/06/11 - 2006/06/18   2006/06/18 - 2006/06/25   2006/06/25 - 2006/07/02   2006/07/09 - 2006/07/16   2006/07/16 - 2006/07/23   2006/07/30 - 2006/08/06   2006/08/06 - 2006/08/13   2006/08/20 - 2006/08/27   2006/08/27 - 2006/09/03   2006/09/03 - 2006/09/10   2006/09/10 - 2006/09/17   2006/09/17 - 2006/09/24   2006/09/24 - 2006/10/01   2006/10/01 - 2006/10/08   2006/10/08 - 2006/10/15   2006/10/15 - 2006/10/22   2006/10/22 - 2006/10/29   2006/10/29 - 2006/11/05   2006/11/05 - 2006/11/12   2006/11/12 - 2006/11/19