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

lördag, september 16, 2006   Logiker talar om en aritmetisk standardmodell. Den består av en struktur enbart bebodd av de ”naturliga” talen (= de hela positiva räknetalen: 1, 2, 3, osv) och operationerna addition och multiplikation bland dessa ”populationsindivider”. Antalet indiver är här obegränsat, vi kan alltid lägga till en till, eller tio till, eller sjuttioelvatusen till… Här, om någonstans, måste väl den klassiska logiken gälla kan tyckas. Ja, så länge vill håller oss till addition… Men med multiplikation tillagd är denna enkla struktur tillräcklig för att Gödels ofullständighetsteorem ska slå till. Ett sätt att tänka på detta teorem är, att om vi tänker på teorier inom aritmetiken som motsägelsefria klassiskt logiska maskiner, så skulle ett ändligt antal göra sina operationer och stanna när de var klara, dvs när de gjort en slutledning enligt strukturen, MEN ett oändligt antal av dessa maskiner (fullt logiska och felfritt konstruerade inom den tillåtna strukturen) skulle hamna i loopar som de inte kommer ur, dvs de skulle ”hänga sig”. Detta har lett till en programutveckling för datorer som verkar överträffa, i sin snabbhet och omfång, de mest häpnadsväckande evolutionära kapprustningarna i naturen. Visst hänger sig våra ”dumma” datorer från och till, men de klarar också mycket mer än addition och multiplikation nuförtiden. Jag tror att vi kan lära oss mycket om våra egna ”hängbeteenden” (negativa tankar som fastnar i en loop mot okontrollerbar ilska eller depression t ex) och hur vi kan ”tänka oss ur dem” genom att se hur man kan skriva intelligenta regler för datorer som undgår i och för sig ”logiska” hängningar. posted by Apmel  # 13:13 << 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