nvidia/miracl-vision huggingface dataset:
Musta Salama

Musta Salama (engl. Black Bolt) on Marvel-kustantamon luoma supersankari. Hän kuuluu epäinhimillisiin ja on kansansa kuningas. Hahmo esiintyi ensimmäisen kerran amerikkalaisessa Fantastic Four -lehden numerossa 45. Mustan Salaman loivat Stan Lee ja Jack Kirby. Mustan Salaman ensiesiintyminen Suomessa tapahtui Ihmesarjan numerossa 6 (1967). Blackagar Boltagon oli kahden epäinhimillisen, Geneettisen Konsiilin johtaja Agonin ja Ryndan, lapsi. Epäinhimillisten tapojen mukaisesti vastasyntynyt Boltagon alistettiin Terrigeenisumujen vaikutuksen alle. Pienenä vauvana hän osoittikin kykyjään manipuloimalla energiaa, varsinkin äänienergiaa oman äänensä kautta. Nuoren Boltagonin itkiessä vaikutukset olivatkin tuhoisat talojen sortuessa valtaisan äänen tuhovoimasta. Hänet päätettiin sulkea äänieristettyyn kamariin ja pukea energiaaimevään pukuun. Tämän jälkeen hänen isänsä Agon opetti poikaansa käyttämään voimiaan, kunnes kaiken oppineena epäinhimillisten yhteiskunta päästi hänet vapaaksi kamaristaan muiden kaltaistensa seuraan Salaman täytettyä 19 vuotta
Toronton pörssi

Toronton pörssi (tunnetaan myös nimellä TSX, sanoista Toronto Stock Exchange) on Kanadan suurin pörssi, Pohjois-Amerikan kolmanneksi suurin pörssi (edellään NYSE ja Nasdaq Inc.). Toronton pörssi on osa TSX Groupia (TSX: X), joka on maailman mittakaavassa noin kymmeneksi suurin pörssi (markkina-arvo 1 551 mrd. USD (1/2016)). Pörssin pääkonttori on Torontossa, Pohjois-Amerikan kolmanneksi suurimmassa talouskeskuksessa. Toronton pörssillä on konttoreita myös Montrealissa, Winnipegissä, Calgaryssä, ja Vancouverissa. Monet Kanadan, Yhdysvaltain ja muiden maiden yhtiöistä ovat listattuja Toronton pörssissä. Toronton pörssiin liittyy myös sivulista TSX Venture Exchange.lähde?
Visa Electron

Visa Electron oli maksukortti, jota Visa kehitti 1980-luvulta aina vuoteen 2024 saakka. Visa Electron erosi tavallisista Visa-luottokorteista siten, että siihen ei liitynyt luotto-ominaisuutta, vaan katevaraus tehtiin aina pankkitililtä. Näin ollen korttiin liittyvällä tilillä oli aina oltava katetta käytettävissä maksutapahtuman yhteydessä ja käytettävissä olevia varoja ei voinut ylittää. Verkkoon liittämättömät maksupäätteet eivät tukeneet Visa Electronia, koska ne eivät voineet varmistaa tilin saldon riittävyyttä maksutapahtuman summaan verraten, maksutapahtuman yhteydessä. Visa Electronilla maksettaessa saattoi aiheuttaa hämmennystä se, että osa maksupäätteistä tunnisti kortin luottokortiksi ja osa pankkikortiksi. Suomessa Visa Electronin oli mahdollista saada jokainen 18 vuotta täyttänyt, mutta pankit saattoivat asettaa myös muita ehtoja kortin myöntämiselle. 10–17-vuotiaille kortti myönnettiin vanhempien suostumuksella. Visa lopetti Electron korttien tuen 2024 ja se korvataan Visa Basic -kortilla. Osa pankeista ei enää myönnä Electron -kortteja, vaikka korttien tuki on tällä hetkellä vielä voimassa.
Yhdysvaltain Grand Prix 2006

Yhdysvaltain Grand Prix 2006 (virallisesti 2006 Formula 1 United States Grand Prix) oli Formula 1 -kauden 2006 kymmenes osakilpailu, joka ajettiin 2. heinäkuuta Indianapolis Motor Speedwayn moottoriradalla Yhdysvalloissa. Kilpailun kaksoisvoittoon ajoi Ferrari järjestyksessä Michael Schumacher ja Felipe Massa. Kolmas oli Giancarlo Fisichella. Kimi Räikkönen keskeytti. Kilpailun erikoisuus oli se, että maaliin pääsi vain yhdeksän kuljettajaa, joista viimeisenä Nico Rosberg. Vitantonio Liuzzi kahdeksannella sijallaan toi Toro Rossolle tallin ensimmäiset pisteet.
Ranskan Grand Prix 2006

Ranskan Grand Prix 2006 (virallisesti Formula 1 Grand Prix de France 2006) oli Formula 1 -kauden 2006 ajettiin 14.–16. heinäkuuta Magny-Coursin moottoriradalla Ranskassa. Kilpailun voitti Ferrarin Michael Schumacher. Fernando Alonso oli toinen ja Felipe Massa kolmas. Kimi Räikkönen oli viides.
Idols (TV-formaatti)

Idols on kansainvälinen televisio-ohjelmaformaatti, jonka alkuperäinen versio oli Simon Fullerin kehittämä brittiläinen kykyjenetsintäohjelma Pop Idol. Formaattiin perustuvia ohjelmia on sittemmin tehty kymmeniä yli 30 maassa. Pop Idolin ja Popstarsin tuottajat sopivat keskenään, että kansainväliset versiot eivät saa käyttää sanaa pop ohjelman nimessä. Idols-formaatin tuotannosta vastaa Fremantle. Juontajien tulee suhtautua ohjelmaa kohtaan nuorekkaan innokkaasti ja he myös julkistavat tulokset. Joissakin maissa on yksi juontaja, mutta useimmissa on kaksi. Jotkin maat ovat lisänneet tuomareiden ja juontajien lukumäärää. Ennalta valittu joukko musiikkialaa edustavia tuomareita kiertää osan tai kaikki koelaulupaikkakunnat tarkkaillakseen ja neuvoakseen kilpailijoita koko kilpailun ajan. Tuomarit antavat kritiikkiä ja/tai neuvoja jokaisen kilpailijan esityksen jälkeen. Frankofonisen maailman parasta laulajaa etsivä Nouvelle Star 4 oli ensimmäinen versio, jossa annettiin sininen tai punainen kortti, sininen edustamaan positiivista suhtautumista ja punainen negatiivista. Puolan Idol Poland 3 -kaudella oli jopa viisi vakituista tuomaria. Joskus tuomaristoon otetaan vierailevia tuomareita tai musiikkivieraita, jotka ovat mukana neuvomassa kilpailijoita
Steve Winwood

Stephen (Steve) Lawrence Winwood (s. 12. toukokuuta 1948) on englantilainen laulaja, lauluntekijä ja multi-instrumentalisti, joka tunnetaan soolouransa lisäksi yhtyeistä Spencer Davis Group, Traffic ja Blind Faith. Winwood syntyi Birminghamissa vuonna 1948 . Hän liittyi Spencer Davisin yhtyeeseen ollessaan 15-vuotias. Winwood oli mukana kirjoittamassa esimerkiksi kappaleita "Gimme Some Lovin'" ja "I'm a Man". 1960-luvun lopulla hän kuitenkin jätti yhtyeen ja perusti Trafficin. Samoihin aikoihin hän toimi myös lyhytikäiseksi jääneessä Blind Faithissa. Sen ainoa albumi, Blind Faith, myi kuitenkin platinaa. Winwood aloitti soolouran Trafficin hajottua 1970-luvulla. Hänen debyyttialbuminsa oli Steve Winwood (1977). Monet hänen albumeistaan ovat myyneet platinaa, ja Roll With It oli vuonna 1988 viikon Yhdysvaltain albumilistan kärjessä
Werner Söderström

Werner Leopold Söderström (2. lokakuuta 1860 Porvoo – 23. kesäkuuta 1914 Helsinki) oli suomalainen kirjankustantaja ja yksi merkittävimpiä suomenkielisen kustannustoiminnan uranuurtajia. Hänen perustamiaan ovat sekä Suomen suurin kustannusyhtiö Werner Söderström Osakeyhtiö (WSOY) että suomenruotsalaista kirjallisuutta kustantava Söderström & Co. Werner Söderström oli porvoolaisen kirjakauppias Leopold Söderströmin poika. Hän osti vuonna 1888 isältään tämän perustaman kirjapainon ja laajensi sen huomattavaksi kustannusyhtiöksi. Söderström oli 1800-luvun lopulla huomattavin suomenkielisen kirjallisuuden kustantaja, joka julkaisi muun muassa Juhani Ahon, Minna Canthin, Teuvo Pakkalan ja J. H. Erkon kaunokirjallisia teoksia sekä tietokirjallisuutta. Hänen roolinsa oli 1800-luvun lopun suomenkielisen kirjallisuuden ja yleisen kulttuurin nousun kannalta hyvin merkittävä. Werner Söderströmin vanhemmat olivat kirjakauppias Gustaf Leopold Söderström ja hänen puolisonsa Hilda Eugenia Winter. Werner Söderström kävi koulunsa Porvoon ruotsalaisessa lyseossa, mutta sai jo kouluaikanaan vahvan suomalaisuusherätyksen
Bharti Telecom

Bharti Telecom on intialainen, vuonna 1984 perustettu näppäinpuhelimien, langattomien puhemimien ja faksilaitteiden valmistaja. Yhtiön kotipaikka on New Delhi. Se johtaja on Sarvjit Singh Dhillon. Yhtiö on eräs mittavaan Bharti Enterprises Limited -konserniyhtiöön kuuluvista yrityksistä. Bharti Enterprices on intialainen, New Delhissä kotipaikkaansa pitävä monialakonserni, joka on tytäryritystensä välityksellä mukana tietoliikenne-, elintarvike- , vähittäismuyynti-, vakuutus-, kiinteistö- ja viestintäliiketoiminnassa sekä tietoliikennelaitteiden valmistuksessa. Konserniin kuuluvat tytäryhtiöt Bharti Airtel Ltd. ja Bharti Infratel Ltd. ovat pörssiyrityksiä, jotka on listattu Intian molemmassa suuressa arvopaperipörsseissä eli Bombayn pörssissä (BSE) ja Intian kansallisessa pörssissä (NSE). Bharti Airtel on suuri intialainen matkapuhelinoperaattori. Yritystä johtaa Sunil Mittal, yksi Intian rikkaimmista ihmisistä, hänen omaisuutensa arvo on noin 2,6 mrd. USD. lähde?
Alexanderplatz

Alexanderplatz on aukio keskellä Berliiniä Spreejoen ja Berliinin tuomiokirkon lähellä. Paikalliset kutsuvat aluetta usein yksinkertaisesti nimellä Alex. Alexanderplatzilla sijaitsee S-Bahn-, U-Bahn- ja lähijunia palveleva Alexanderplatzin asema. Entinen karjamarkkinapaikka nimettiin Venäjän keisari Aleksanteri I:n mukaan tämän vierailtua Berliinissä 25. lokakuuta 1805. Alueesta tuli merkittävä osa kaupunkia 1800-luvun lopulla samannimisen asemarakennuksen ja läheisen kauppa-alueen valmistumisen myötä. Alueen kulta-aika sijoittuu 1920-luvulle, jolloin se oli yhdessä Potsdamer Platzin kanssa Berliinin yöelämän keskuksia. Jaetussa Berliinissä Alexanderplatz jäi Itä-Berliinin puolelle ja siitä rakennettiin 1960-luvulla Itä-Berliinin liikekeskus. Raunioiden raivaamisen myötä aukion pinta-ala nelinkertaistui ja kolmen hehtaarin laajuisena se on nykyään Berliinin suurin aukio. Lähialueen näkyvimmäksi maamerkiksi nousi vuonna 1969 valmistunut Fernsehturm-televisiotorni. Nykyään Alexanderplatzilla on jäljellä vain kaksi toista maailmansotaa edeltävältä ajalta olevaa rakennusta, vuonna 1932 valmistuneet Peter Behrensin suunnittelemat Alexanderhaus ja Berolinahaus. Muuten aukion ympäristö on täynnä DDR:n ajalta olevia rakennuksia, joissa on toiminut muun muassa useita ministeriöitä
American Pie: The Wedding

American Pie: The Wedding on vuonna 2003 julkaistu kolmas osa American Pie -elokuvasarjalle. Elokuvassa vietetään Jimin ja Michellen häitä. Elokuvan soundtrack albumi julkaistiin 1. elokuuta 2003 ja se sisältää seuraavat kappaleet: Turun Sanomien Päivi Valotien mukaan ”ilkeämielisen, sovinistisen ja homofobisen sarjan kolmas törkyily American Pie: The Wedding satsaa täysin rinnoin collegesta valmistuvien mutta edelleen yhtä infantiilisti käyttäytyvien ikiteinien naimahuoliin. Samalla kelataan läpi sikermä muistakin ääliöfarsseista tuttuja eritevitsejä, joiden shokkiarvo on ryöstöviljelyn myötä miinuksen puolella.”
Factio

Factiones (lat. mon.; yks. factio, yhteisö, puolue) olivat Rooman valtakunnassa vaunukilpa-ajojen järjestelyistä, kuten hevosten hankinnasta ja kilpailijoiden valmennuksesta vastanneita ryhmittymiä.   Aluksi vuoden 70 eaa. tienoilla ryhmittymiä oli kaksi, valkoinen ja punainen. Keisariajalla ryhmittymien määrä kasvoi neljään, kun mukaan tulivat sininen ja vihreä puolue. Myöhäisantiikissa factioiden kannattajat muodostivat sirkuspuolueita (tai circuspuolueita, ajopuolueita). Factiot maksoivat huippuajajille huomattavia palkkioita ja kilpailu parhaista ajajista oli tallien välillä kiivasta. Juvenalis kertoo, että huippuajajat saattoivat ansaita satakertaisesti asianajajaan verrattuna. Keisari Theodosius II kannatti vihreitä, Anastasios I punaisia ja Justinianus I sekä puolisonsa Theodora sinisiä. 400-luvun puolivälin jälkeen Konstantinopolissa yleistyivät sirkusmellakat, joissa sirkuspuolueiden väliset erimielisyydet kärjistyivät mellakoinniksi
Henry Addington

Henry Addington (30. toukokuuta 1757 – 15. helmikuuta 1844) oli Ison-Britannian pääministeri vuosina 1801–1804. Addington onnistui 1802 neuvottelemaan Ranskan kanssa Amiensin rauhan, joka kuitenkin jäi lyhyeksi (1802–1803). Sodan puhjettua uudelleen Addington luopui virastaan 1804. Myöhemmin Addington toimi sisäministerinä vuodet 1812–182]. Lääkärin poika Addington oli ensimmäinen pääministeri, jolla oli keskiluokkainen tausta.
Camilo Cienfuegos

Camilo Cienfuegos Gorriarán (6. helmikuuta 1932 – 28. lokakuuta 1959) oli kuubalainen vallankumouksellinen, joka syntyi Calabazar de Saguassa. Hän osallistui aktiivisesti maanalaiseen toimintaan Kuuban presidenttiä Fulgencio Batistaa vastaan ja hänellä oli merkittävä rooli Kuuban vallankumouksessa. Hän oli tärkeimpiä ja suosituimpia vallankumousjohtajia Fidel Castron, Raúl Castron ja Che Guevaran rinnalla. Lokakuussa 1959 Fidel lähetti Camilon Camagüeyn kaupunkiin pidättämään Huber Matosin. Saatuaan tehtävänsä päätökseen Camilo lähti lentäen paluumatkalle. 28. lokakuuta 1959 hänen ohjaamansa Cessna katosi yölennolla meren yllä matkalla Camagüeystä Havannaan. Konetta ei etsinnöistä huolimatta koskaan löydetty, eikä varmuutta turman syistä saatu. Camilon kuolemasta esitettiin heti erilaisia teorioita, ja Fidel Castroa kohti osoitettiin sormella, sillä hänelle saattoi olla hyötyä suositun sissijohtajan kuolemasta. Yhden teorian mukaan Camilon ohjaama kone olisi ammuttu erehdyksessä alas viholliskoneena
Yläislannin kieli

Yläislannin kieli (Háfrónska) on keinotekoinen kieli, jonka on luonut belgialainen Jozef Braekmans. Hänen tavoitteenaan oli poistaa lainasanat modernista islannin kielestä. Kielen kehittäjä kuvaa yläislannin sanastoa "ultrapuristiseksi" kokoelmaksi olemassa olevia islanninkielisiä sekä Braekmansin itsensä luomia neologismeja. Yläislannilla ei ole Islannissa virallista asemaa ja se on lähinnä yhteinen projekti pienelle joukolle henkilöitä, joita kutsutaan nimellä "nýyrðaskáld". Harrastajien tarkoituksena on luoda islannin muoto, jossa ei ole lainkaan ulkopuolisia vaikutteita. Kieli on saavuttanut jonkun verran huomiota ja julkisuutta Islannissa. Kieli nimettiin uusnorjan (nynorsk) pohjalta kehitetyn, konservatiivisen ylänorjan (høgnorsk) kielen mukaan. Kielen nimen toinen osa, "frónska", on johdettu sanasta "frón", joka on runoudessa Islannin nimi. Edda-runossa frón on yksi maapalloon viittaavista nimistä. Braekmans mainitsi nimen ensimmäisen kerran is.islenska-uutisryhmässä 23. marraskuuta 2003
Ujung Kulonin kansallispuisto

muokkaa - muokkaa wikitekstiä - muokkaa Wikidataa Ujung Kulonin kansallispuisto sijaitsee Indonesiassa Jaavan saaren länsikärjessä, Sundasalmella. Alueeseen kuuluu valtamereen työntyvä niemimaa ja Krakataun tulivuoren kraatteriin syntynyt saaristo sekä joukko muita pieniä saaria. Kansallispuiston pinta-ala on 1206 neliökilometriä, josta 443 km² on merialuetta. Puistoon kuuluva niemimaa oli ihmisten asuttamaa vuoden 1883 tulivuorenpurkaukseen asti. Krakataun purkauduttua kylät tuhoutuivat. Ihmiset, jotka eivät menehtyneet tulivuorenpurkauksen seurauksena, jättivät asuinpaikkansa ja viidakko valtasi alueen. Kansallispuiston alueella elää suurin osa maailman jäljellä olevista jaavansarvikuonoista – 40–60 yksilöä. Puistossa on myös bantengeja ja harvinaisia apinalajeja. Viimeinen jaavantiikeri nähtiin alueella 1950-luvulla. Meren puolella on koralliriuttoja ja dugongeja eli merilehmiä. Ujung Kulonin kansallispuisto perustettiin vuonna 1980 ja vuonna 1991 siitä tuli UNESCOn maailmanperintökohde.
Nicaragua (järvi)

Nicaraguajärvi eli Cocibolca on järvi Nicaraguassa. Se on pinta-alaltaan Nicaraguan ja Keski-Amerikan suurin sekä Latinalaisen Amerikan kolmanneksi ja maailman 19. suurin järvi. Latinalaisessa Amerikassa vain Titicaca ja Venezuelan Maracaibojärvi ovat suurempia. Tipitapajoki yhdistää Nicaraguajärven Managuajärveen . Järven pinta-ala on 8 157 km² ja suurin syvyys 70 metriä. Muiden muassa Granadan, Rivasin, San Carlosin ja San Migueliton kaupungit sijaitsevat Nicaraguajärven rannalla. Järven vedet laskevat Karibianmereen Nicaraguan ja Costa Rican rajan muodostavaa San Juan -jokea. Nicaraguajärven kautta on suunniteltu kaivettavaksi Nicaraguan kanava, joka yhdistäisi Karibianmeren Tyyneenmereen. Nicaraguajärvessä on yli 400 saarta, joista suurimmat ovat Zapatera ja Ometepe. Ometepessa on kaksi tulivuorta: Concepción ja Maderas. Nicaraguajärvessä tavataan myös jokisaharauskuja (Pristis perotetti) ja jopa härkähaita (Carcharinus leucas)
Suomen kansainväliset valmiusjoukot

Suomen kansainväliset valmiusjoukot on joukko varusmiehiä, jotka koulutetaan kansainvälisiin rauhanturvaamis- ja kriisinhallintatehtäviin varusmiespalveluksensa loppupuolella. Koulutukseen valitaan halukkaiden heinäkuun saapumiserän varusmiesten joukosta kielitaitoisia, hyväkuntoisia ja paineensietokykyä osoittaneita sotilaita. Valmiusjoukko aloitti toimintansa vuonna 1996 ja ensimmäiset Valmiusjoukoissa koulutetut sotilaat aloittivat rauhanturvaajapalveluksensa vuonna 1999 Kosovossa.lähde? Vuonna 2013 valmiusjoukkoon pyrki ennätykselliset 773 hakijaa, joista 34 naisia. Vuonna 2011 hakijoita oli 540, ja vuonna 2010 525. Hakijoista valitaan valmiusjoukkoon noin 200 henkilöä hakemuksen, fyysisen kunnon testien, soveltuvuustestien, kielikokeen sekä haastattelun perusteella. Fyysisen kunnon testi koostuu lihaskuntotestistä ja Cooperin testistä, minkä lisäksi hakijoita testataan evakuointitestissä, jossa noin 55 kilogramman painoista nukkea on kannettava 150 metrin matka kahdessa minuutissa. Pääasiassa Porin prikaatissa annettava valmiusjoukkokoulutus sisältää muun muassa ajoneuvo- ja jalkapartiointia, englanninkielistä radioviestintää, henkilö-, ajoneuvo- ja taloetsintää, yhteistoimintaa helikopterien kanssa, voimankäyttöä sekä pienpartiotaktiikkaa. Näiden lisäksi ampuma-, ensiapu- ja miinanraivaamiskoulutukset ovat laajempia verrattuna tavalliselle jalkaväkitaistelijalle annettavaan koulutukseen. Jokainen valmiusjoukoissa palveleva sotilas saa myös jonkun tietyn koulutushaarakoulutuksen riippuen puolustusvoimien tarpeesta. erikoistuvat sotilaat palvelevat Porin prikaatissa Säkylässä. Jokainen valmiusjoukon sotilas saa vähintään aliupseerikoulutuksen
Kukkulan kuningas (leikki)

Kukkulan kuningas (myös vuorenvalloitus tai valliherra, engl. king of the hill) on eräs leikki. Kukkulan kuningasta voi pelata pienellä lumikasalla, kukkulalla tai mäellä. Pelaajia leikissä on yleensä useita. Leikissä taistellaan tönimällä siitä, kuka valloitaa kukkulan ensinPeliä voidaan jatkaa niin kauan kuin pelaajat haluavat. "Kukkulan kuningas" on siis se, joka on kukkulan korkeimmalla paikalla. Muut pelaajat voivat töniä toisiaan ja "kukkulan kuninkaan" alas ja julistautua itse "kukkulan kuninkaaksi". Kouluissa ja lastentarhoissa tämä leikki ei ole opettajien ja ohjaajien suosikkeja, sillä vammat varsinkin niskan seudulle ovat mahdollisia. Kukkulan kuninkaassa usein isoimmat ja vahvimmat pärjäävät. Kukkulan kuningas sekä sen eri variaatiot ovat suosittuja pelityyppejä monissa videopeleissälähde?, joskin peleissä ei aina taistellakaan mäen huipusta, vaan suosittuja "kukkuloita" ovat esimerkiksi talot, sillat tai jopa pelkät maapläntit tasaisella maalla.
Ascraeus Mons

Ascraeus Mons on tulivuori Marsissa. Se on pohjoisin Tharsiksen ylängön kolmesta suuresta tulivuoresta (Tharsis Montes). Ascraeus Mons kuuluu Marsin korkeimpiin vuoriin, sillä sen huippu kohoaa yli 18 kilometrin korkeuteen. Tulivuori purkautui viimeksi noin 100 miljoonaa vuotta sitten.
Santa Luzia

muokkaa - muokkaa wikitekstiä - muokkaa Wikidataa Santa Luzia on yksi Kap Verden saarista Atlantin valtamerellä. Se kuuluu Barlaventosaariin ja sijaitsee São Vicenten ja São Nicolaun välissä. Saaren pinta-ala on 35 km². Korkein kohta on Monte Grande 395 metrin korkeudessa merenpinnan yläpuolella. Santa Luzialla ei ole ollut vakituista ihmisasutusta vuosisatoihin. Saarelle rakennettiin 1900-luvulla sääasema. Santa Luzia sijaitsee noin 640 kilometrin päässä Länsi-Afrikan rannikolta .
Matemaattinen induktio

Matemaattinen induktio on matemaattinen todistusmenetelmä, joka kuuluu matemaattisen algebran päähaaraan. Matemaattinen induktio perustuu induktioperiaatteeseen, jolla todistetaan luonnollista lukua 𝑛 koskeva väite todeksi kaikilla luvun 𝑛 arvoilla. Teknisesti induktiotodistus koostuu kolmesta vaiheesta: Toisin kuin induktiivisessa päättelyssä, matemaattiseen induktioon ei sisälly Humen ongelmaa, sillä matemaattinen induktio on rekursioon perustuvaa todistamista eli pätevää deduktiivista päättelyä. Todistus perustuu rekursiorelaation avulla määriteltyyn äärettömän joukon säännönmukaisuuteen, joka todistuksessa yleistetään koko joukkoon, esimerkiksi luonnollisten lukujen joukkoon. Matemaattinen induktio voidaan myös samaistaa täydellisen induktion kanssa, sillä siinä käydään rekursiivisesti kaikki mahdolliset yksittäistapaukset läpi. Todistetaan oikeaksi kaava
Half-Life 2: Deathmatch

Half-Life 2: Deathmatch (lyhennettynä HL2:DM tai HL2DM) on Valve Corporationin kehittämä ja vuonna 2004 julkaisema ensimmäisen persoonan ammuntapeli. Kyseessä on Half-Life 2:n virallinen moninpeli joka ei tarvitse toimiakseen emopeliä. Peli on ladattavissa Steam-palvelusta tai ostettavissa Counter-Strike: Sourcen hyllyversion mukana. Samaan pakettiin kuuluu myös Day of Defeat: Source. Kyseessä on joukkuepohjainen ensimmäisen persoonan ammuntapeli. Peliä pelataan tietyn pituisissa erissä. Pelissä vastakkain taistelevat Combine-niminen, Maapallon valloittanut imperiumi ja sitä vastustava vastarintaliike. Pelissä on kaksi pelimuotoa, Deathmatch ja Team Deathmatch. Ensimmäisessä pelimuodossa pääpiirteisenä tavoitteena on tappaa muita pelaajia mahdollisimman paljon ennen aikarajan umpeutumista. Mikäli tappaa vahingossa itsensä, menettää pisteitä. Pelaaja syntyy sorkkaraudan ja painovoima-aseen kanssa, muut aseet täytyy etsiä sotatantereelta. Nämä aseet koostuvat pääosin tuliaseista, tosin saatavila on myös scifi-tyyppisiä aseita
George Marshall

George Catlett Marshall (31. joulukuuta 1880 Uniontown, Pennsylvania, Yhdysvallat – 16. lokakuuta 1959 Washington D.C., Yhdysvallat) oli yhdysvaltalainen poliitikko ja sotilas. Hän sai arvonimen General of the Army, joka on Yhdysvaltain korkea maavoimien arvonimi ja vastaa sotamarsalkan asemaa. Marshall valmistui vuonna 1901 upseeriksi ja työskenteli vuosina 1919–1924 kenraali John J. Pershingin adjutanttina. Vuosina 1924–1927 hän oli komennuksella Kiinassa. Marshall ylennettiin vuonna 1936 prikaatikenraaliksi. Hän oli Yhdysvaltain armeijan esikuntapäällikkö ja koko armeijan ylipäällikkö 1939–1945. Vuonna 1944 hänet ylennettiin armeijakenraaliksi
Pavonis Mons

Pavonis Mons on tulivuori Marsissa. Se on keskimmäinen Tharsiksen ylängön kolmesta suuresta tulivuoresta (Tharsis Montes). Sen pohjoispuolella on Ascraeus Mons ja eteläpuolella Arsia Mons. Pavonis Mons on noin 14 kilometriä korkea ja se purkautui viimeksi noin 300 miljoonaa vuotta sitten.
Arsia Mons

Arsia Mons on tulivuori Marsissa. Se on eteläisin Tharsiksen ylängön kolmesta suuresta tulivuoresta (Tharsis Montes). Sen pohjoispuolella sijaitsee Pavonis Mons. Arsia Mons on toiseksi suurin Marsin tulivuorista. Vuori kohoaa yli 17 kilometrin korkeuteen, ja sen kaldera on noin 110 kilometriä leveä. Tulivuoren oletetaan purkautuneen viimeksi noin 700 miljoonaa vuotta sitten. Maaliskuussa 2007 yhdysvaltalainen tutkijaryhmä raportoi havainneensa vuoren ympäristöstä seitsemän tummaa kohdetta, jotka termisen emissionsa perusteella eivät ole muuta maastoa tummempaa ainetta vaan ilmeisesti sisäänkäyntejä Marsin pinnan alla sijaitseviin luoliin. Näiden aukkojen läpimitat ovat 100–252 metriä ja niiden syvyys on ainakin sadan metrin luokkaa, sillä aukkojen seinämiä tai pohjaa ei ole havaittavissa. Juuri seinämien ja pohjan havaitsemattomuus erilaisissa valaistusoloissa viittaa siihen, etteivät kyseessä ole kraatterit tai vastaavat rakenteet vaan aukot ovat sisäänkäyntejä laajempaan tilaan. Tutkijaryhmä käyttää aukoista epävirallisia työnimiä Dena, Chloë, Wendy, Annie, Abbey, Nikki ja Jeanne. Aukkojen paljastamat luolastot saattaisivat toimia suojana, jossa mikrobitasoinen elämä olisi mahdollista. Ohut ilmakehä aukkojen leveysasteella estää kuitenkin toistaiseksi laskeutujan lähettämisen alueelle
Kikka Laitinen

Kirsi-Marja ”Kikka” Laitinen (s. 8. lokakuuta 1960 Lempäälä) on suomalainen laulaja-lauluntekijä, rock-muusikko, sanoittaja ja säveltäjä. Laitinen aloitti musiikkiharrastuksen kotonaan isänsä opastuksella nelivuotiaana, ja sai ensimmäisen kiinnityksen kosketinsoittajana rock-yhtyeeseen ollessaan 17-vuotias. Hän on suorittanut musiikkiopintoja Tampereen konservatoriossa 1968–1975, Helsingin Pop & Jazz Konservatoriossa 1994–1998 sekä yksityiset klassisen laulun opinnot opettajanaan Ingrid Suoniemi vuosina 1992–1998. Laitinen on valmistunut ylioppilaaksi Tampereen normaalilyseosta vuonna 1979 ja diplomikielenkääntäjäksi Tampereen yliopistosta 1984. Laitinen oli perustajajäsen ja lauluntekijä suomalaisessa rockyhtyeessä Gasoline Girls And Petrol Boys joka julkaisi neljä albumia vuosina 1988–1992. Vuodesta 1992 hän toiminut rock-yhtyeensä Kikka Laitinen Co. laulaja-lauluntekijänä. Kikka Laitinen Co. -yhtye on toiminut vuodesta 1992 ja on julkaissut kahdeksan albumia. Yhtyeessä soittavat Kikka Laitinen (laulu, piano, koskettimet), Kustaa Kantelinen (kitara), Petteri Korhonen (rummut) ja Mikko Yli-Knuuttila (basso)