Utan jag i himmelen

Bloggtoppen.se BlogRankers.com

..:: Bara Bloggare ::..

En iRing webbring.

Slump Lista Nästa


En webblogg med teckningar, idéer, minnen och varsel...
Beställ bloggen som tryckt bok   Andra bloggar om , , och .

Populär Världsbildsvetenskap
 

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

   Bloggen i tryck!!!
Läs om boken!
Förlagets

Draget från
oändligheten
Läs om boken!
böcker

Mångfaldens
mönster
Tema Penrose Tema Dawkins Tema Historier
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.

söndag, september 10, 2006

 
Jag tror att jag kommit fram till att det pekar fel att kalla all logik för biologi. Den klassiska logiken och dess rationalitetsbegrepp, med dess antingen/eller-förhållande till vad som är rätt eller fel ligger långt från den annorlunda logik som är biologiken. Utvecklingshistoriskt är det biologiken som är den klassiska logiken i så fall, medan det man vanligen menar med klassisk logik och rationellt, kostnadseffektivt beslutsfattande bygger mer på kulturella verktyg och teknik.
Överbryggaren blir i så fall memetik som står med en fot i vardera biologi och kultur.

 
Inte livsviktigt

 
”Du är galen!”
”Vilken tur!”
Så hemtrevligt det låter hemma hos Birgit och Lennart. Jenny skulle ha tyckt om det. Man ska inte ta sig själv på för stort allvar var hennes devis. Eller som Anna-Maria sa en gång: ”Jag tycker att det är så här, att man har en massa åsikter man vet kanske är fel, men man vill ha dom ändå!”
En vän från Göteborg har berättat för mig, att när hon en gång frågat sin mamma vilken egenskap som är bäst att ha som människa, hade hon fått svaret: att vara besvärlig.
Besvärliga människor följer inte ”ritningarna”, som andra bestämt är de rationella. Det lustiga är att när jag nu sitter och översätter och förbereder utgivningen av ”Teorin om ingenting” av Russel Standish så kom jag just fram till hans slutsats att den fria viljan är förmågan att göra något irrationellt. Vad vi bedömer som rationellt beror, skriver han, på vår inlevelseförmåga, som vi använder för att räkna ut hur andra kommer att bete sig. När vi själva medvetet gör ”fel” känner vi att vi har en fri vilja. Självmedvetande och fri vilja är två sidor av samma mynt.
Inte konstigt då att de flesta som någonsin stirrat på en matematisk ekvation känt att de inte bryr sig.

 
Klassisk beslutsteori säger att man ska agera likadant varje gång man ställs inför samma val. Alla som spelat poker vet att om man vill förlänga tiden innan man förlorat alla sina pokerchips bör man INTE handla likadant varje gång man får ett par äss på handen.
Detta kan jämföras med biologiska val som ska förlänga tiden fram till populationens utrotning. Sådana val är mycket viktiga, eftersom verkliga populationer, till skillnad från förenklade modeller, har att kämpa med flukturerande tillväxt och slumpmässiga minskningar av totalpopulationen, som om den hamnar under ett kritiskt värde leder till utrotning.
Under sådana realistiska förhållanden är det ofta bäst om individerna i en population gör val som motsvarar optimering av ett geometriskt medelvärde när det gäller antal överlevande avkomma, eller av en matematisk funktion så komplicerad att det inte finns några analytiska lösningar utan bara stegvisa approximationer som kanske bara kan lösas via upprepade datorsimulationer.
Hur löser naturen sådant? Det är inte bara så att det genom det naturliga urvalet uppstår strömmar av individer som gör val i de rätta förhållandena, det är till och med så att det uppstår ett selektionstryck att utveckla individuella viktade slumpval, oförutsägbara i varje enskilt fall men i längden med rätt sannolikhet åt det ena eller andra hållet. Dessa inbyggda slumpgeneratorer är bra för arten men kan vara mycket ofördelaktiga för den enskilde individen. Det ser ofta ut som om vissa individer altruistiskt offrar sig för gruppens bästa när det i själva verket handlar om en stabil evolutionär strategi som inte kunde vara annorlunda, för då skulle den invaderas av en som var bättre för artens överlevnad.
I varje enskild livshistoria bland individer med avancerad logisk kognition som ställs inför val de tidigare ställts inför kan det också vara klokt att då och då, med en optimal frekvens, handla ologiskt. Det förlänger i genomsnitt livet helt enkelt – och jagar bort tråkigheten.

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  

This page is powered by Blogger. Isn't yours?