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, oktober 29, 2005

 
”We want the revoluuuuuuuution NOW!!”
Fyra tonårsgrabbar, någon över tjugo, överöstade Buffy Sainte-Marie i pojkrummet på Fleminggatan och höjde rödvinsglasen samstämmigt.
Vi lyssnade mycket på Dylan också. En artist måste uppdatera sig ständigt har han sagt. Vi uppdaterade oss varje vecka genom att läsa ytterligare ett kapitel i Einar Werners ”Bridge på 20 lektioner”. Revolutionsromantiken till trots gällde det att lära sig borgarnas nöjen.
Det var mest nöjen det handlade om annars, på den tiden. Att få någon med åldern inne att köpa ut drickat och att planera för helgens fester med brudarna var det viktigaste även för 68-revoltörerna.

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…

måndag, oktober 24, 2005

 
Det ena följer av det andra. Minnet består av sådana relationer. För hjärnbarken är förväntningar bara sekvenser. Sekvenser av vad?
När en rad mikrokolumner tänds och släcks i följd, som på en raketramp, behåller några hjärnceller i varje mikrokolumn sin glöd under hela avfyrningsproceduren – de betecknar att det är just den rampen och att fyrverkeriet inte övergått till någon annan ramp. Rampen har fått ett namn i hjärnbarkshierarkin.
En ramp bildar en sekvens, men också ett namn.
Sekvenser består av namn.
Hur ändras en sekvens? Jo, genom att ett namn i sekvensen byts ut mot ett annat.
Hur ändras namn? Jo, genom att den sekvens det betecknar ändras.
Högt upp i hjärnbarken kan en sekvens av namn vara en sekvens av tänkta, lästa, hörda eller uttalade ord som hör till en språkkultur.
Hjärnbarken kan alltså programmeras och kan styra den genetiskt styrda hårdvaran i den gamla reptilhjärnan.
Det är därför idéer är subversiva.

söndag, oktober 23, 2005

 
Han som bestämmer

 
Pappa tog med mig på sossarnas valmöte i Folkets Hus i Huskvarna. Jag minns att jag var stolt. Jag minns inget av själva mötet, men jag minns att det avslutades av en valfilm.
Filmen visade upp en skräckvärld där högern hade vunnit valet. Jag minns särskilt en scen där en man inte fick gå på trottoaren för att en annan man ägde den.
Jo, han hade fått gå på den om han betalade förstås. Men han hade inte råd.
Filmens politiska budskap gick in som en varm smörkniv bland förväntningsmaskineriet i min oerfarna hjärnbark. Allmän egendom var gott, privat egendom var dåligt. Alla ska betala skatt efter sin förmåga, så att alla kan ta del av samhället efter behov.
Gå inte på min trottoar!
Där blev de större sammanhangen till den lilla värld jag växte upp i plötsligt begripliga. Bo i allmännyttan. Handla hos konsum. Rösta vänster.

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?