arnastofnun/IGC-2024 huggingface dataset:
Botnmálning

Botnmálning er sérstök málning til að mála með botn á bátum (að utanverðu). Hún er hönnuð með það fyrir augum að koma í veg fyrir að gróður myndist á skrokk bátsins neðan sjólínu sem annars myndi draga úr siglingarhæfni bátsins og eyðileggja skrokkinn á trébátum. Botnmálning getur líka haft það hlutverk að hindra tæringu á stálbátum eða auðvelda flæði vatns umhverfis skrokkinn á keppnisbátum.

Á skútuöld áttu skip oft í miklum vandræðum með hrúðurkarla og þara sem greri á skipsskrokknum og dró verulega úr siglingarhæfni skipsins. Koparþynnur voru festar á botn bátsins til að koma í veg fyrir þetta.

Nútíma botnmálningar innihalda gjarnan koparoxíð eða önnur eiturefni, svo sem lífræn efnasambönd tins, sem koma í veg fyrir gróðurmyndun. Vörnin eyðist með tímanum og því þarf að endurnýja botnmálninguna reglulega. Slíkar botnmálningar valda mismikilli mengun en gerðar hafa verið tilraunir með botnmálningar sem ekki innihalda kopar eða tin. Algengt var að TBT (tributýltin) væri notað í þessar málningar en efnið getur meðal annars valdið tvíkynjun nákuðunga.
Hallvarður Hallsson

Hallvarður Hallsson bóndi, skáld og skipasmiður var uppi á ofanverðri 18. öld. Talið er að hann hafi fæðst um 1723 en hann lést árið 1799. Móðir hans var Sigríður Hallvarðsdóttir en faðir hans var Hallur Erlendsson á Horni. Hallvarður kvæntist ekki og eignaðist engin börn. Hann bjó í Skjaldabjarnarvík á Ströndum alla ævi.

Hallvarður var fjölfróður og sagður fjölkunnugur. Hann gagnrýndi klerkastéttina og kenningar prestanna og lenti í útistöðum við kirkjuhöfðingja fyrir slælega kirkjusókn. Hallvarður var grafinn í óvígðri mold í Skjaldabjarnarvík og hefur það viðhaldið galdraryktinu sem af honum fór. Er sagt að þetta hafi verið ósk hans. Leiðið er afgirt og merkt í Skjaldabjarnarvík.
Nedre Eiker

Nedre Eiker er sveitarfélag í Buskerud-fylki í Noregi. Ásamt Øvre Eiker kallast svæðið Eiker. Flatarmál sveitarfélagsins er 12 km² og íbúafjöldi 1. janúar 2006 var 21.653. Nágrannasveitarfélögin eru Drammen, Hof, og Øvre Eiker.

Fjórir eiginlegir bæir eru í sveitarfélaginu, Krokstadelva og Solbergelva norðan Drammenselva og Mjøndalen og Steinberg liggja sunnan hennar.
Bolzanosetningin

Bolzanosetningin er setning kennd við tékkneska stærðfræðinginn Bernard Bolzano.

Hún segir að ef að fall "f" er samfellt á lokuðu bili "[a, b]", og að "f(a)" og "f(b)" hafa gagnstæð formerki, þá sé til tala "c" á opna bilinu "]a,b[" þannig að "f(c) = 0". Orða má setninguna lauslega þannig að ef samfellda fallið skipti um formerki á bilinu, þá skeri það x-ásinn einhvers staðar á bilinu.

Sönnun.

Hér er notaður sá eiginleiki mengja, sem eru takmörkuð að ofan, að þau hafa efra mark. Gefið sé fall f sem uppfyllir skilyrði setningarinnar, við viljum sýna að það skeri x-ás að minnsta kosti á einum stað. Fallið gæti vitaskuld skorið x-ás á fleiri en einum stað, en við takmörkum leit okkar við þann skurðpunkt á x-ás sem næstur er endapunktinum "b". Við getum gert ráð fyrir að formula_1 og formula_2, því ef svo er ekki gætum við litið á "-f" í stað "f". Skilgreinum mengi allra staka úr skilgreiningarmengi f þannig að fallgildin eru neikvæð eða núll:

Tökum eftir að þetta mengi er ekki tómt, þar sem formula_1 og því formula_5. Auk þess er það takmarkað að ofan þar sem formula_6 fyrir öll x úr A. Skilgreinum því næst efri mörk A sem "c". Sýnum að "c" hljóti að vera núllstöð fallsins "f". Ef formula_7 þá er til formula_8 þannig að formula_9 ef formula_10. Það hefur í för með sér að formula_11 er yfirtala mengisins A, en það er í mótsögn við að "c" sé efra mark, þ.e. minnsta yfirtala mengisins A. Ef formula_12, þá er til formula_8 þannig að formula_14 ef formula_15. Sér í lagi er formula_16 og því formula_17, en það er í mótsögn við að formula_18 fyrir öll x úr A. Eini möguleikin er því að formula_19. Enn fremur er ljóst að "c" er úr opna bilinu (a,b) vegna þess að formula_20 og formula_21.
Hróarskeldusáttmálinn

Hróarskeldusáttmálinn var friðarsamningur milli Danmerkur og Svíþjóðar gerður í Hróarskeldu 26. febrúar 1658 eftir afgerandi ósigur Dana í Svíastríðunum. Með sáttmálanum fengu Svíar endanleg yfirráð yfir Bohuslän (sem áður hafði tilheyrt Noregi), Hallandi, Skáni og Blekinge, auk Þrændalaga og Borgundarhólms. Með samningnum fengu Svíar loks yfirráð yfir suðurhluta Gautlands sem þeir hafa enn í dag og náttúruleg landamæri í suðri.

17. júlí sama ár réðist Karl Gústaf X aftur inn í Danmörku með það að augnmiði að leggja hana alla undir sig. Hann settist um Kaupmannahöfn en íbúar borgarinnar vörðust hetjulega og náðu að halda umsátrið nógu lengi út til að hollenski flotinn næði að koma þeim til bjargar og sigra sænska flotann í orrustunni um Eyrarsund 8. nóvember. 1659 var afgangurinn af Danmörku smám saman leystur undan yfirráðum Svía með aðstoð Hollendinga og 1660 var undirritaður Kaupmannahafnarsáttmálinn sem gaf Dönum aftur Þrændalög (sem gert höfðu uppreisn gegn Svíum) og Borgundarhólm.
Hreiðruð bil

Hreiðruð bil á rauntalnalínunni er runa af bilum sem eru hreiðruð innan í hvoru öðru.

Ef að formula_1 eru lokuð bil, og formula_2, þá er gildir skv. setningunni um hreiðruð bil, sem Bernard Bolzano sannaði fyrstur, að

Þetta er sértilfelli af reglu um hreiðruð mengi, þar sem að bil eru mengi.
26. júlí

26. júlí er 207. dagur ársins (208. á hlaupári) samkvæmt gregoríska tímatalinu. 158 dagar eru eftir af árinu.

Atburðir.
Tónlistarþróunarmiðstöðin

Tónlistarþróunarmiðstöðin er vettvangur fyrir unga tónlistarmenn til að skapa, taka upp og flytja tónlist gegn vægu verði. Miðstöðin er staðsett við Hólmaslóð 2 og er hugarfóstur utangarðsmannsins Danna Pollock sem sér um allan rekstur.

Hellirinn er tónleikasalur félagsins og státar af tækjabúnaði af fullkomnustu gerð. Geta þá allir félagsmenn haldið þar tónleika og komið sér á framfæri.
Jonas Gahr Støre

Jonas Gahr Støre (fæddur 25. ágúst 1960) er norskur stjórnmálamaður og núverandi forsætisráðherra Noregs. Støre hefur verið leiðtogi norska Verkamannaflokksins frá árinu 2014 og var utanríkisráðherra Noregs í annarri ríkisstjórn Jens Stoltenbergs frá 2005 til 2012. Støre tók við embætti forsætisráðherra í október árið 2021 eftir þingkosningar mánuðinn áður.

Ævi.

Hann gekk í Berg-menntaskólann í Ósló og hlaut eftir það þjálfun hjá norska sjóhernum. Seinna nam hann stjórnmálafræði í París og hóf doktorsnám við London School of Economics en hætti fljótt við.

Þá lá leið hans fyrst til lagadeildar Harvard-háskóla þar sem hann kenndi í eitt skólaár. Frá 1986 til 1989 stundaði hann fræðastörf við Norwegian School of Management. Á árunum 1989 til 1995 starfaði hann sem ráðgjafi hjá forsætisráðuneyti Noregs. Því næst var hann sendiherra Noregs hjá SÞ frá 1995 til 1998. Á eftir fylgdi staða hjá Alþjóðaheilbrigðisstofnuninni undir Gro Harlem Brundtland. Því næst var hann ráðinn starfsmannastjóri Jens Stoltenbergs 2000-1.

Jonas vann 2002 til 2003 hjá norsku hugveitunni "Econ Analyse" og 2003 til 2005 sem framkvæmdastjóri norska Rauða krossins.

Norska vinstriblokkin vann sigur í þingkosningum í september árið 2021. Støre tók við af Ernu Solberg sem forsætisráðherra Noregs þann 14. október og fer fyrir minnihlutastjórn Verkamannaflokksins og Miðflokksins.
Síðrokk

Síðrokk (enska "post-rock") er jaðarrokks stefna. Í raun ætti þó frekar að tala um post-rock sem hugtak, þar sem að mjög ólík bönd geta flokkast undir þessa stefnu. Stefnan lýsir sér þannig að hljómsveitirnar spila instrumental-rokk á tilraunakenndan máta. Hljóðfærunum er oft beitt á óhefðbundin hátt, rafáhrif má oft greina og lagasmíðarnar eru töluvert flóknari en gerist hjá flestum rokkhljómsveitum. Djass-áhrif eru einnig sterk, sumar hljómsveitir spila spunakennda tónlist á meðan aðrar hallast af ambient-stefnu Brian Enos. Post-rock er í raun tilraun til að fara lengra með rokktónlistina, brjótast úr stöðnuðum lagasmíðum rokksins og innleiða ferskan hljóm í rokkheiminn. Maður að nafni Simon Reynolds skapaði hugtakið post-rock og lýsti því svona: "Það er þegar rokk hljóðfærum er beitt en ekki í þágu rokksins. Gítarinn er notaður til að framkalla ákveðinn hljómblæ og áferð í stað þess að spila riff".

Upphaf stefnunar.

Erfitt að er segja nákvæmlega hvenær það var sem stefnan varð til. Ýmiss bönd hafa lagt margt til hennar, þar má nefna My Bloody Valentine, Stereolab og Slint. En flesir eru þó á því máli að Tortoise hafi verið fyrsta bandið sem hægt var að flokka sem post-rock band. Í verkum þeirra má finna allar þessar áherslur sem fyrr var talað um: djass-, raf- og ambientáhirf að undanskildu rokkinu. Annað band sem var brautriðjandi í senunni var Mogwai. Þeir voru þó að vinna með töluvert öðruvísi hugmyndir en Tortoise. Þeir fara lengra út í ambient og enn lengra út í rokk. Á köflum dettur hlustandanum í hug dauðarokk þegar þeir hlusta á Mogwai. Mogwai eru helstu áhrifavaldar stefnunnar.

Hljómsveitirnar.

Post-rock sveitirnar eru ólíkar eins og þær eru margar. Í ljúfari kanntinum eru bönd eins og Tristeza og Lanterna. Tristeza spila hæg og melódísk lög undir miklum áhrifum frá raftónlist á meðan Lanterna hafa skapað sér sinn eigin hljóm með því að notast mikið við kassagítara. Aðrar eru undir miklum klassískum áhrif og beita fiðlum, sellóum og blásturshlóðfærum óspart, þar má nefna Godspeed You Black Emperor! og Sickoakes. Enn aðrar færast nær málmi og spila þungt og tilfinningaþrungið rokk, I'msonic rain, ISIS og Red Sparrows. Og svo djass- og spunakenndar eins og Do Make Say Think. Ekki má gleyma konungum konstrúktorsins, Explosions in the Sky. Þeir leika fallegt melódískt rokk sem hægt og rólega breytist yfir í dramatíska þungarokkskafla.

Íslenskar hljómsveitir.

Íslenska hljómsveitin Sigur Rós er meðal stærstu nöfnum síðrokks stefnunar á heimsvísu en meðal annara íslenska síðrokkshljómsveita má til að mynda nefna Miri, Úlpu , Kimono og Sofandi.
8. ágúst

8. ágúst er 220. dagur ársins (221. á hlaupári) samkvæmt gregoríska tímatalinu. 145 dagar eru eftir af árinu.

Atburðir.
Lucanus

Marcus Annaeus Lucanus (3. nóvember 39 - 30. apríl 65) var rómverskt skáld og er af mörgum talinn meðal bestu höfunda á síðklassíska tímabilinu eða á svonefndri „silfuraldarlatínu“.

Lucanus var að störfum á valdatíma Nerós og naut þónokkurra vinsælda. Hann hlaut verðlaun fyrir kveðskap árið 60. Söguljóð hans, "Pharsalia" (sem í handritum heitir "Bellum civile" eða "Borgarastríðið"), fjallaði um borgarastríðið í Róm um miðja 1. öld f.Kr. milli Júlíusar Caesars og Pompeiusar og fékk góðar viðtökur. Aftur á móti féll hann úr náð valdhafa og var viðriðinn samsæri Gaiusar Calpurniusar Pisos. Þegar upp komst að hann hefði gerst sekur um landráð var hann neyddur til þess að fremja sjálfsmorð með því að láta sér blæða út. Áður en hann lést hafði hann ásakað ýmsa aðra í von um að verða náðaður, m.a. móður sína.

Faðir hans var tekinn af lífi í kjölfarið en móðir hans slapp, sem og ekkja hans Polla Argentaria, og hlaut lof Statiusar á valdatíma Domitianusar. Að Lucanusi látnum var afmælisdagur hans haldinn hátíðlegur. Eitt árið var flutt ljóð í tilefni dagsins, sem enn er varðveitt; þar er ekkja Lucanusar ávörpuð og ýmislegt kemur fram um ævi og störf Lucanusar (Statius, "Silvae", II.7).

Söguljóð Lucanusar um borgarastríðið var óklárað þegar hann lést og er handritageymd kvæðisins fremur flókin vegna fjölda uppskrifta sem ber oft ekki saman.

"Pharsalia" var í miklum metum á miðöldum; Dante getur Lucanusar tvisvar:

Verk hans höfðu gríðarleg áhrif á skáldskap og leikritun á 17. öld. Shelley, Southey og Macaulay lofuðu allir verk hans mjög.

"Pharsalia" er til í íslenskri þýðingu frá 12. eða 13. öld, sem síðari hluti "Rómverja sögu".
Baltasar Kormákur

Baltasar Kormákur Baltasarsson (fæddur 27. febrúar 1966) er íslenskur leikari og leikstjóri. Foreldrar hans eru Kristjana Guðnadóttir Samper og spænski listamálarinn Baltasar Samper. Baltasar útskrifaðist frá Leiklistarskóla Íslands árið 1990. Baltasar Kormákur og eiginkona hans, Lilja Pálmadóttir reka saman framleiðslufyrirtækið RVK Studios sem er afsprengi Blueeyes Productions og Sagnar ehf. og hefur það framleitt ýmis sviðsverk, kvikmyndir og sjónvarpsefni.
19. ágúst

19. ágúst er 231. dagur ársins (232. á hlaupári) samkvæmt gregoríska tímatalinu. 134 dagar eru eftir af árinu.

Atburðir.
1335

Árið 1335 (MCCCXXXV í rómverskum tölum)

Á Íslandi.

Fædd

Dáin

Erlendis.

Fædd

Dáin
Rauð blóðkorn

Rauð blóðkorn eða rauðkorn eru algengustu blóðkorn í blóði. Þau eru disklaga, kjarnalaus, og sjá um að tengjast súrefni og koltvísýringi og bera það um líkamann. Rauð blóðkorn eru mynduð í beinmerg en einnig í milta hjá ungviði og eitlum og lifur í fóstri.

Rauð blóðkorn eru, eins og nafnið bendir til, rauð að lit sem stafar af hemóglóbíni (eða blóðrauða). Það inniheldur járn sem binst súrefni og koltvísýringi. Koltvísýringur getur þó einnig bundist próteinefni rauðu blóðkornanna.

Líftími rauðkorna eru fáar vikur en stundum mánuðir. Fjöldi þeirra fer eftir súrefnisþörf líkamans. Þannig geta þolin hlaupadýr fengið auka skammt úr milta á meðan önnur dýr, svo sem maðurinn þarf að þjálfa sig upp til að þola slíka áreynslu.
Bodiam-kastali

Bodiam kastali er staðsettur í Austur-Sussex, Englandi. Hann var bygður árið 1385 af Sir Edward Dallingridge, formlegum riddara hjá Játvarði 3. Englandskonungi. Kastalinn er ótrúlega fallegur að sjá og afar merkileg bygging. Talið er að kastalinn hafi verið byggður í varnarlegum tilgangi til að hrinda burt hugsanlegum árásum Frakka. En kastalinn var samt frekar byggður til sýnis en sem raunverulegt varnartól.

Kastalinn minnir óneitanlega á sandkastala og er eflaust fyrirmynd margra slíkra. Ætla mætti að hann hefði verið mótaður af fötu og skóflu. Kastalinn er algerlega umlukinn síki. Suðurhlutinn hefur svokallaðan miðturn, eða postern turn. Til hægri frá postern turninum er aðalsalurinn. Kastalinn hefur hornturna á öllum fjórum hornum. Meirihlutinn af innri byggingu kastalans eyðilagðist í Enska borgarastríðinu. Norðurhlið kastalans hefur hliðvarðhús og brú. Hornturninn þar til hægri inniheldur síðan kapellu.

Kastalinn var orðinn niðurníddur þegar hann var endurbættur af Curzon lávarði og ánafnaði hann kastalanum til National Trust í Englandi árið 1926.
Vaðmál

Vaðmál er þykkofið ullarefni með skávend og var notað í ýmis konar klæði, ábreiður, tjöld og segl. Vaðmál til klæðagerðar var unnið í svokölluðum kljásteinavefstól. Á íslenskum sveitabæjum var vaðmál ofið bæði til heimilisnota og sem gjaldmiðill. Á miðöldum voru vöruskipti algengasti verslunarmátinn og verðgildi hluta var miðað við vaðmál (álnir vaðmáls) og kýr (kúgildi).

Á þjóðveldisöld var ullin þvegin, kembd, spunnin og ofin í mislanga vaðmálsstranga. Það voru framleiddar tvær tegundir vaðmáls en það voru vöruvaðmál og hafnarvaðmál. Vöruvaðmál sem einnig var kallað vara var ódýrara og óvandaðra. Allt verðlag var miðað við alin vöru. Eitt kýrverð var metið til 120 álna vaðmáls.

Vaðmál er talið ein helsta útflutningsverslunarvara Íslendinga frá tólftu öld og fram á þá fjórtándu. Flestar vörur voru verðlagðar í vaðmáli en kvikfénaður var metinn í kúgildum. Hundrað að fornu merkti fyrst 120 álnir vaðmáls þar sem hver alin skyldi vera af tilskilinni stærð og réttum gæðum. Þegar fram leið urðu tengslin við vaðmálið ógleggri og virðast vera með öllu horfin á 17. öld.

Vaðmál sem ætlað var til sparifata var þæft og litað úr brúnspæni og járnvitrióli og var litarefnið keypt í kaupstöðum. Spariföt voru einnig lituð svört og það gert með hellulit. Rekkjuvoðir voru úr hvítu vaðmáli og brekán úr grófu tvöföldu bandi alla vega litu.
BNF

BNF er setningafræði sem notast er við í samhengisfrjálsri málfræði; semsé formleg aðferð til að lýsa formlegu máli. Skammstöfunin stendur fyrir Backus-Naur Form, en stóð áður fyrir Backus Normal Form. John Backus átti mikin þátt í þróun BNF en Peter Naur

átti mikinn þátt í að koma BNF í almenna notkun innan tölvunarfræðinnar, og því er BNF látið standa fyrir Backus-Naur Form.

BNF á sér einnig rætur í málvísindum, því málvísindamaðurinn Noam Chomsky skilgreindi samhengisfrjálsar mállýskur áður en Backus eða Naur skilgreindu BNF.

Dæmi um BNF Form.

&lt;expr&gt; ::= &lt;num&gt; | ( &lt;expr&gt; ) | &lt;expr&gt; &lt;op&gt; &lt;expr&gt;

&lt;op&gt; ::= + | - | * | /

&lt;num&gt; ::= &lt;digit&gt; | &lt;digit&gt; &lt;num&gt;

&lt;digit&gt; ::= 0|1|2|3|4|5|6|7|8|9

Þessi BNF skilgreining lýsir máli sem inniheldur strengi sem eru segðir ("formúlur") með heiltölugildum og venjulegum reikniaðgerðum.

EBNF er líka algeng aðferð til að skilgreina málfræði forritunarmála
31. ágúst

31. ágúst er 243. dagur ársins (244. á hlaupári) samkvæmt gregoríska tímatalinu. 122 dagar eru eftir af árinu.

Atburðir.
1312

Árið 1312 (MCCCXII í rómverskum tölum)

Á Íslandi.

Fædd

Dáin

Erlendis.

Fædd

Dáin
Neikvæð játunarregla

Neikvæð játunarregla eða modus tollendo ponens er í rökfræði form gildrar röksemdafærslu. Ekki má rugla "modus tollendo ponens" saman við "modus ponendo ponens" eða jákvæða játunarreglu, sem er yfirleitt kölluð einfaldlega "modus ponens".

Rökform neikvæðrar játunarreglu er eftirfarandi:

Eða á táknmáli rökfræðinnar:

Þar sem formula_4 stendur fyrir rökfræðilega ályktun („Þess vegna q“).

Í grófum atriðum er röksemdafærslan á þá leið að önnur forsendan segir að annaðhvort P eða Q hljóti að vera satt; síðan segir seinni forsendan að annar hvor liðurinn sé ósannur; við ályktum þess vegna að það hljóti að vera hinn liðurnn sem er sannur, fyrst annar hvor var sannur og búið er að útiloka annan þeirra. Með öðrum orðum játum við P með því að neita Q og þaðan er nafn reglunnar komið: neikvæð játunarregla.

Eftirfarandi er dæmi um röksemdafærslu af þessu tagi:

Annað dæmi:

Skarað og óskarað eða.

Hafa ber í huga að eðun er af tvennu tagi í rökfræði:

Í fyrra dæminu að ofan er hvort tveggja hugsanlegt að um skarað og óskarað eða sé að ræða. Ég fæ mér súpu eða salat – eða kannski fæ ég mér hvort tveggja; það að fá sér annan réttinn þarf ekki að útiloka að maður fái sér hinn réttinn líka. Hins vegar má hugsa sér samhengi eins og þar sem um tilboð á veitingahúsi er að ræða og í tilboðinu stendur manni einungis til boða að fá sér annan réttinn í forrétt; þá útilokar maður salatið ef maður fær sér súpuna og öfugt.

Í seinna dæminu hér að ofan er hins vegar eðlilegt að líta svo á að um óskarað eða sé að ræða, enda geta ekki bæði liðin unnið leikin, þ.e.a.s. annaðhvort vinnur Valur eða KR en ekki bæði liðin. (Ef hvorugt liðið tapar og leikurinn endar með jafntefli, þá hefur hvorugt liðið unnið.)

Á íslensku er "eða" oft tvíræð og óljóst hvort verið er að meina. Miklu munar þó þegar kemur að því að vega og meta röksemdafærslur á borð við neikvæða játunarreglu.

Þessi röksemdafærsla:

er gild hvor merkingin sem lögð er í orðið eða. Hins vegar er eftirfarandi einungis gilt sé um óskaraða eðun að ræða:

Dæmið að ofan er af svonefndri jákvæðri neitunarreglu eða "modus ponendo tollens": okkur er kleift að neita Q með því að játa P en þó einungis að því gefnu að um óskarað eða sé að ræða í fyrri forsendunni. Ef um skarað eða væri að ræða væri ekkert hægt að álykta af forsendunum tveimur.
Játun bakliðar

Játun bakliðar eða Játun þá-setningarinnar er formleg rökvilla. Rökvillan felst í því að álykta á grundvelli bakliðar skilyrðissambands að forliðurinn sé sannur.

Rökvillan hefur eftirfarandi rökform:

Dæmi um játun bakliðar:

Hér er fyrri forsendan sönn, jafnvel þótt Arnaldur Indriðason sé ekki forseti Íslands, því þar sem Arnaldur Indriðason er karlmaður, þá gildir eftir sem áður að "ef" hann er forseti Íslands, þá er forseti Íslands karlmaður. Seinni forsendan er einnig sönn, því Guðni Th. Jóhannesson, sem er núverandi forseti Íslands, er karlmaður. Af þessu leiðir hins vegar ekki að Arnaldur Indriðason sé forseti Íslands.

Annað dæmi:

Hér er fyrri forsendan sönn, enda er enginn maður ódauðlegur. Gefum okkur að seinni forsendan sé einnig sönn. Af forsendunum leiðir ekki að Jón sé mennskur; Jón gæti til dæmis verið hundur eða köttur, hamstur eða naggrís. Í öllum tilfellum væri Jón þá dauðlegur og seinni forsendan um leið sönn en niðurstaðan væri ósönn vegna þess að hundar og kettir, hamstrar og naggrísir eru ekki manneskjur. Þetta sýnir að niðurstöðuna leiðir ekki af forsendunum og því er um rökvillu að ræða. Athuga skal að jafnvel þótt Jón væri maður og niðurstaðan væri sönn, þá væri samt um ógilda röksemdafærslu að ræða af því að "í öllum röksemdafærslum á þessu formi" leiðir niðurstöðuna ekki af forsendunum, jafnvel þótt hægt sé að „fylla inn í eyður“ rökformsins þannig að báðar forsendurnar væru sannar og svo vildi til (eins og ef Jón væri maður) að niðurstaðan væri einnig sönn.

Á hinn bóginn þarf að gæta að því að samskonar rökform er gilt ef í fyrri forsendunni segir „ef og aðeins ef“ í stað einungis „ef“, dæmi:
Þétteðlisfræði

Þétteðlisfræði eða storkufræði er víðtæk grein innan eðlisfræðinnar, sem fjallar um stórsæja eiginleika þéttefnis, t.d. rafleiðni, fasaskipti og seguleiginleika og beitir aðferðum skammtafræðinnar til að tengja saman smá- og stórsæja eiginleika þéttefnis.
8. september

8. september er 251. dagur ársins (252. á hlaupári) samkvæmt gregoríska tímatalinu. 114 dagar eru eftir af árinu.

Atburðir.
20. september

20. september er 263. dagur ársins (264. á hlaupári) samkvæmt gregoríska tímatalinu. 102 dagar eru eftir af árinu.

Atburðir.
La Tradukisto

La Tradukisto ("Þýðandinn") er tímarit á esperantó sem kom fyrst út 12. mars 1989 á hundrað ára afmæli rithöfundarins og esperantistans Þórbergs Þórðarsonar og er ritið helgað honum.

Kristján Eiríksson hóf að gefa út La Tradukisto fyrir nemendur sína í Menntaskólanum að Laugarvatni og var það þá aðeins 8 blaðsíður skrifaðar á ritvél. La Tradukisto kemur út þrisvar á ári eins og í upphafi: 12. mars, 12. júlí og 12. nóvember. Standa þessar dagsetningar ætíð á haus blaðsins þótt oft seinki útgáfunni eitthvað.

Blaðið hefur stækkað með árunum og hefur frá og með 29. hefti verið 24 blaðsíður fyrir utan kápu. Flestir áskrifenda eru Íslendingar en upp á síðkastið hafa allmargir útlendingar farið að kaupa ritið og á það sér nú áskrifendur í 24 þjóðlöndum utan Íslands.

La Tradukisto er tvískipt tímarit. Þýðingar úr íslensku á esperanto spanna um það bil tvo þriðju hluta ritsins en þýðingar úr esperanto á íslensku um þriðjung.

La Tradukisto er eina tímarit á Íslandi sem eingöngu birtir þýðingar. Blaðið er gefið út á Laugarvatni.
2. október

2. október er 275. dagur ársins (276. á hlaupári) samkvæmt gregoríska tímatalinu. 90 dagar eru eftir af árinu.

Atburðir.
7. október

7. október er 280. dagur ársins (281. á hlaupári) samkvæmt gregoríska tímatalinu. 85 dagar eru eftir af árinu.

Atburðir.
Glacier Sun

Glacier Sun er fyrsta breiðskífa íslensku hljómsveitarinnar Brain Police. Hún kom út árið 2000 og var tekin upp í Studio ofheyrn. Upptökum stjórnaði Haraldur Ringsted.
Lögmál Hofstadters

Lögmál Hofstadters segir að:

Lögmálið var sett fram af Douglas Hofstadter í bókinni Gödel, Escher, Bach sem var gefin út árið 1979. Oft er vísað í lögmálið í tengslum við verkefnaskipulag, sérstaklega í hugbúnaðarþróun.

Lögmálið inniheldur sjálfstilvísun, en smækkar aldrei niður í fáfengilegt tilfelli. Það er að segja, alveg sama hversu oft reiknað er með lögmálinu mun það samt alltaf taka lengri tíma en von var á. Það er því ekki bara erfitt að áætla þann tíma sem verkefni munu taka, heldur er það "óendanlega" erfitt.
19. október

19. október er 292. dagur ársins (293. á hlaupári) samkvæmt gregoríska tímatalinu. 73 dagar eru eftir af árinu.

Atburðir.