stanford-oval/wikipedia huggingface dataset:
Wendover

| Wendover |
| --- | --- |
 Wendoverin ja Nevadassa sijaitsevan West Wendoverin raja.

Valtio:  Yhdysvallat
Osavaltio:  Utah
Piirikunta:  Tooele
Pinta-ala:  
 – Kokonaispinta-ala:  16.7 km²
 – Josta vettä:  0.00 km² (0 %)
Korkeus:  215 m
Väkiluku (2010):  1 401
 – Väestötiheys:  84 as./km²
Aikavyöhyke:  UTC-7 (kesäaika UTC-7)
Infobox OKVirheellinen NIMI-arvo: 
Wendoverin lentotukikohta. Hangaarissa säilytettiin Enola Gay-atomipommikonetta.
Wendover on pikkukaupunki Yhdysvaltain Utahin osavaltiossa, jonka suolatasangolla se sijaitsee. Tooelen piirikuntaan kuuluvassa kaupungissa on 2000-luvulla ollut 1 500–1 600 asukasta. Suuremmista kaupungeista sitä likimpänä sijainnee Salt Lake Cityn ohella Nevadan Elko.Vuonna 1908 perustettua kaupunkia halkovat Interstate 80 sekä Interstate 40. Bonnevillen suolatasanko sijaitsee kaupungin lähettyvillä.
Kaupunki on tullut tunnetuksi 509. raskaan erityispommitusrykmetin harjoitteluun liittyvänä tukikohtana, tosi tuolloin vielä vasta nimellä 393. raskas pommituslaivue. Tuota ennen B-17- ja B-24 Liberator-laivueet olivat Wendoverissa harjoitelleet pommikoneiden toimintaan liittyvinä harjoitteina. 393. laivue oli syyskuun 11. 1944 - 6. toukokuuta 1945 Wendoverissa. Wendover valittiin, koska se oli sopivalla, joskin pitkähköllä (n. 1 300 km) etäisyydellä Los Alamosin salaisista ydintutkimuslaboratorioista. Lisäksi paikka oli sopivan syrjäinen, sekä ilmasto mahdollisti lentoharjoittelun varsin hyvin.  Paikkakunta ei ollut erityisemmin lentomiehistöjen taikka muunkaan henkilökunnan suosiossa, sillä paikan karuiksi ja ankeiksi koettuja olosuhteita, kuten vedettömyyttä lisäksi leimasi suuri salailu. Monet Wendoverista lentäneet raskaat Boeing B-29 Superfortress-koneet pudottivat harjoituspomminsa Salton Sea:n läheisyyteen. Tukikohta oli tunnettu myös koodinimellä Kingman sekä Site K.
Aiheesta muualla

Wikimedia Commonsissa on kuvia tai muita tiedostoja aiheesta .
Herlin, Hans: Hiroshiman lentäjät. Jyväskylä: Gummerus, 1961.
Wendover, UT | Atomic Heritage Foundation
Historic Wendover Airfield Foundation (Arkistoitu – Internet Archive)
Air & Space Magazine:Wendover’s Atomic Secret
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.
Käännös suomeksi
What If (Frida Amundsenin kappale)

| ”What If” Frida Amundsen |
| --- | --- | --- |

Singlen tiedot
 Äänitetty : 2013: Decibel Studio, Tukholma
 Julkaistu: 21. maaliskuuta 2014
 Tyylilaji: pop
 Kesto: 04.02
 Levy-yhtiö: Warner Music Norway
Frida Amundsenin muut singlet
| ”Rush” 2012 | ”What If” 2014 |   |
What If on norjalaisartisti Frida Amundsenin kappale. Sen julkaisee Warner Music artistin kolmantena singlenä 21. maaliskuuta 2014. Kappale nauhoitettiin Decibel Studiolla Tukholmassa.
Kappalelista

Digitaalinen lataus
1. What If - 4:02
Teologian historia

Albert Suuri, kristillisten teologien suojeluspyhimys.
Sanan teologia alkuperä on antiikin Kreikassa, jossa se tarkoitti jumalallisia asioita koskevaa tiedettä, kaikenlaista jumalien ja kosmologian tutkimista. Termin merkitys on kuitenkin muuttunut huomattavasti sinä aikana kun sitä on käytetty, pääasiassa kristillisessä ajattelussa, antiikista keskiajan ja valistusajan läpi nykyaikaan.
Aristoteleen vaikutus

Aristoteles luki teologian matematiikan ja fysiikan ohella yhdeksi teoreettisen filosofian osa-alueeksi, ja korkea-arvoisemman kohteensa ansiosta näitä kahta muuta korkea-arvoisemmaksi. Teologian kohteena olivat kaikkein jumalallisimmat kysymykset, kuten ”ensimmäisen liikuttajan” tutkiminen. Tätä kautta termi on päätynyt lukuisiin läntisiin ja itämaisiin uskonnollisiin perinteisiin. Plotinokselle teologia oli ainoa tiede, joka oli tieteen nimen arvoinen.
Varron kolmijako

Roomalainen kirjailija Varro jakoi teologian kreikkalaisiin lähteisiin perustuen kolmeen lajiin: myyttiseen, joka käsitteli kreikkalaisiin jumaliin liittyviä myyttejä; rationaaliseen eli järkiperäiseen, johon kuului filosofinen tutkimus jumalista ja kosmologiasta; ja yhteiskunnalliseen, johon kuuluivat riitit ja julkiset uskonnolliset menot.
Jotkut latinalaiset kirkkoisät, kuten Tertullianus ja Augustinus, seurasivat Varron kolmijakoa.
Varhaiskristillisyys ja teologia

Varhaiskristillisenä aikana teologia ymmärrettiin antiikin perintönä opiksi Jumalasta ja tämän ominaisuuksista. Kristinuskossa keskeinen osa oli tällöin oppi Jumalan olemuksesta ja kolminaisuusopin mukaisista persoonista. Alkukirkon aikana teologiaa ei pidetty yleensä tieteenä, vaan osana uskonnon harjoitusta.
Varhaiskristilliset kirjoittajat ovat kuitenkin käyttäneet termiä myös useissa hieman erilaisissa merkityksissä. Kreikkalaisessa traditiossa theologia on tarkoittanut usein Jumalaa ja jumaluutta koskevaa puhetta. Tämä erotetaan ekonomiasta, joka on Jumalan (pelastus)tekoja (ns. 'pelastustaloutta') koskevaa puhetta. Esimerkkinä Gregorios Nyssalaisen ajattelu.
Kreikkalaisten kirkkoisien kanta

Joillekin kreikkalaisille kirkkoisille theologia tarkoitti puolestaan Jumalan puhetta. Esimerkiksi Uuden testamentin käsikirjoituksissa Johanneksen ilmestyksen otsikoksi on kirjattu apokalypsis ioannou tou theologou, ”Johannes Teologin ilmestys”. (Ortodoksinen perinne nimittää apostoli Johannesta Johannes Teologiksi.) 'Logos' tarkoittaa tässä luultavimmin ”sanaa” tai ”viestiä”. Ho theologos tarkoittaa siis, että kirjoittaja on esittänyt Jumalan paljastaman ilmestyksen, logoi tou theou eli Jumalan sanat. Termi liittyy tiukasti Johanneksen evankeliumin alussa olevaan logos-tematiikkaan, jossa Kristusta kutsutaan nimellä Logos.
Skolastiikka ja teologia

Keskiajan skolastiikassa termi alkoi merkitä kristillisen uskon oppien järkiperäistä tutkimista, ja vielä tarkemmin yliopistollista tieteenalaa, joka piti Jumalan olemuksen tutkimuksen lisäksi sisällään muun muassa sakramenttiopin, pelastusopin ja kirkko-opin. Teologiaa vastaavana ilmaisuna saatettiin käyttää termiä sacra doctrina eli pyhä oppi. Tiede ei kuitenkaan vielä tuolloin tarkoittanut vain rationaalisesti perusteltujen tietojen kokoelmaa, vaan tieteen peruslauseina saattoivat toimia myös ilmoituksen kautta uskotut totuudet.
Moderni teologia

Nykyaikana eräs teologian määritelmä on, että teologia on kristinuskoa koskevien käsitysten systemaattista tarkastelua, erilaisten uskonnollisten käsitysten analysointia ja vertailua. Erään toisen määritelmän mukaan teologia on uskontoja, erityisesti kristinuskoa, koskevaa tieteellistä tutkimusta. On oma väittelyn alainen keskustelunaiheensa, mikäli teologiaa sanan vanhassa merkityksessä voidaan kutsua enää teologiaksi sanan uusissa merkityksissä. Jos vanha termi puhui Jumalasta, niin nykyinen teologia puhuu tästä jumalapuheesta.
Teologialla voidaan viitata myös yhteisön tai henkilön uskonnollisten uskomusten kokonaisuuteen; näin voidaan puhua esimerkiksi apostoli Paavalin teologiasta tai katolisesta teologiasta. Lisäksi termiä 'teologia' voidaan käyttää uskontojen yhteydessä myös ei-propositionaalisessa merkityksessä. Näin esimerkiksi Martti Luther voi todeta, että "Kristuksessa on tosi teologia ja Jumalan tuntemus".
Uskonnollisen teologian historian vaiheita > Klassinen teologia

Klassinen kreikkalainen teologia (n. 700 eaa.–323 eaa.)
Hellenistinen teologia (323 eaa.–529 jaa.)
Uskonnollisen teologian historian vaiheita > Juutalainen teologia

Juutalainen teologia
Uskonnollisen teologian historian vaiheita > Kristillinen teologia

Varhaiskristillinen teologia (n. vuoteen 500)
Uuden testamentin teologia, apostolit
Patristinen teologia (n. 100 - noin 500)
Nikean kirkolliskokousta edeltäneet kirkkoisät
Nikean kirkolliskokouksen jälkeinen teologia
Khalkedonin kirkolliskokouksen jälkeinen teologia
Keskiajan teologia (n. 500 - noin 1500)
Skolastiikka
Reformaatio, vastauskonpuhdistus ja reformaation jälkeinen aika (n. 1500 - noin 1750)
Protestanttisen puhdasoppisuuden aika (mm. luterilainen ortodoksia)
Valistusajan teologia (n.1750 - noin 1900)
Moderni teologia (n. 1900 -)
Uskonnollisen teologian historian vaiheita > Islamilainen teologia

Islamilainen teologia
Uskonnollisen teologian historian vaiheita > Teologia buddhalaisuudessa

Buddhalainen ajattelu
Uskonnollisen teologian historian vaiheita > Hindulaisuus ja teologia

Hindulainen filosofia
Kirjallisuutta

Knuuttila, Simo & Saarinen, Risto (ed.): Theology and Early Modern Philosophy (1550-1750).  Helsinki:  Academia Scientiarum Fennica, 2010.
Aiheesta muualla

Mäkinen, Virpi: Teologia - autuaallista tietoa tieteenhistoriassa Teologia.fi.  17.09.2008.[vanhentunut linkki]
Von Axelson

Von Axelson on Ruotsin ritarihuoneeseen kirjoitettu aatelissuku numero 2022 ja vapaaherrallinen suku numero 259. Suku on lähtöisin Skånesta, missä Axel Axelsson eli 1600-luvulla. Hänen poikansa Nils Axelsson (1682-1762) oli sotakomissaari ja hänen pojat Axel (1720-1790) ja Carl (1742-1795) aateloitiin nimellä von Axelson. Carl von Axelson oli eversti ja hän otti vapaaehtoisena osaa Pommerin sotaan. Vapaaherraksi nimitetty Axel von Axelson auskultoi Svean hovioikeudessa ja antautui sen jälkeen sotilasuralle. Hän osallistui Pommerin sotaan sekä toimi 1760 Tukholman linnan komendanttina.
Von Arbin

von Arbin on Ruotsin ritarihuoneeseen kirjoitettu aatelissuku numero 2054. Stiernsparre-sukuun kuulunut Axel Magnus Arbin (1717-1791) palveli luutnanttina 1741 ja kapteenina 1747. Hänestä tuli majuri vuonna 1754 ja hän siirtyi Saksaan, missä keisari aateloi hänet vuonna 1761. Axel Gustaf Magnus (1739-1828) nimitettiin armeijan everstiksi vuonna 1811. Hänen poikansa Axel Gustaf (1784-1856) valmistui kadetiksi Haapaniemen upseerikoulusta ja kohosi lopulta ratsuväen komentajaksi. Hän otti osaa Napoleonin vastaisiin taisteluihin Saksassa vuosina 1813-1814.
Von Ascheberg

Von Aschebergin vaakuna
Von Ascheberg oli Ruotsin ritarihuoneeseen kirjoitettu kreivillinen aatelissuku numero 23. Suku oli lähtöisin Italiasta ja siirtyi sieltä Saksan kautta Liettuaan. Rutger von Ascheberg (1621–1693) oli Ruotsin sotamarsalkka.
Whaley Bridge

Whaley Bridge
Whaley Bridge on noin 6 500 asukkaan kylä ja kunta (civil parish) Derbyshiren kreivikuntaan kuuluvassa High Peakin hallintopiirissä Keski-Englannissa. Kylän alueelta on löydetty merkkejä pronssikautisesta asutuksesta.
Elokuussa 2019 Whaley Bridgen asukkaita evakuoitiin kylän vieressä sijaitsevan padon romahtamisvaaran vuoksi. Padon seinämä oli vaurioitunut rankkasateiden seurauksena.
Aiheesta muualla

Kuvia tai muita tiedostoja aiheesta Whaley Bridge Wikimedia Commonsissa
Let's Go Peak District (englanniksi)
Von Bilang

Von Bilang on Ruotsin ritarihuoneeseen kirjoitettu aatelissuku numero 1169. Suku on kotoisin Liivinmaalta, mistä Jakob Bilang muutti sotilaaksi Suomeen ja kohosi Savon ratsuväen kapteeniksi. Hänen poikansa ratsumestari Peter (1650–1719) aateloitiin vuonna 1689 nimellä von Bilang. Hän toimi lopulta Kastelholman linnan komendanttina.
Suvun jäsenistä Jakob Johan von Bilang (1739–1802) palveli Ranskan armeijassa. Hän on tullut tunnetuksi taitavana norsunluusta leikattujen maisemataulujen tekijänä. Hänen poikansa soitinrakentaja Johan Ulrik von Bilang tuomittiin taposta mestattavaksi, mutta kuningas muutti tuomion 1825 elinikäiseksi vankeudeksi ja aateelisarvon menettämiseksi. Johan Ulrikin sisar Johanna Emerentia von Bilang (1777–1857) oli tunnustettu miniatyyrimaalari.[lähde? ]
Vítkov

Vítkovin kukkula
Vítkov on kukkula Tšekin pääkaupungissa Prahassa. Se erottaa toisistaan Karlínin ja Žižkovin kaupunginosat.
Historia

Böömin kunigas Kaarle IV:n aikaan tällä Prahan läheisellä kukkulalla alettiin pitämään viinitarhoja. Osa niistä kuului Vítek z Hora nimiselle prahalaiselle raatimiehelle, jonka mukaan kukkula on luultavasti saanut nykyisen nimensä. Heinäkuussa 1420 sen ympäristössä käytiin Vítkovin taistelu Jan Žižkan johtamien hussilaisjoukkojen sekä Sigismund Luxemburgilaisen katolilaisten ristiretkiarmeijoiden välillä. Taistelu päättyi hussilaisten voittoon.
Rakennukset

Kukkulan uudenkaupungin puoleista päätyä hallitsee Vítkovin kansallinen muistomerkki. 1920- ja 30-luvuilla rakennetun rakennuksen sisällä on muun muassa tuntemattoman sotilaan hauta. Sen katolla on yksi maailman suurimmista ratsastajapatsaista. Se esittää hussilaiskenraali Jan Žižkaa.
Luonto

Vítkovin kukkulalla on yhteensä 14,93 hektaaria puistoaluetta.
Aiheesta muualla

Kuvia tai muita tiedostoja aiheesta Vítkov Wikimedia Commonsissa
Josef Mathauserin maalaus Jan Žižkasta ja Václav Korandausta Vítkovin kukkulalla. Taustalla Prahan linna.
West Burtonin voimalaitos

| West Burtonin voimalaitos |
| --- | --- |

Polttoaine:  hiili, kaasu
Omistaja:  EDF Energy
Rakentaminen aloitettu:  2008 (kaasu)
Kytketty sähköverkkoon:  1968 (hiili), 2013 (kaasu)
Sijainti:  West Burton, Nottinghamshire
Koordinaatit:  53°21′54″N, 0°49′9.84″W
West Burtonin voimalaitos on EDF Energyn omistama kahdesta yksiköstä koostuva voimalaitos Englannissa. Toinen on 1968 käyttöön otettu kivihiilivoimala ja toinen vuonna 2011 käyttöön otettu kaasuturbiinilaitos.
West Burton B CCGT on kombivoimalaitos, jonka maakaasu toimitetaan 19 kilometriä pitkällä kaasuputkella. Kaasuturbiineja on kolme ja niiden tuotanto on yhteensä 1332 MW.
Aiheesta muualla

Kuvia tai muita tiedostoja aiheesta West Burtonin voimalaitos Wikimedia Commonsissa
Vääkiönvaara

Vääkiönvaara on kylä Suomussalmella.
Historiaa

Vuonna 1848 perustettiin Suomussalmen kunnan pohjoisosaan  Vilhelm Vesterisen Vääkiö-niminen kantatila. Nimensä Vääkiön talo on tarinan mukaan saanut  kuivasta ovensaranan äänestä ('vääääk, väääk'), joka kuului ovea avatessa. Vääkiön tila on toiminut kantakievarina ja tilalla asui n. 20 asukasta. Maata oli 932 ha.
Nykyään Vääkiön kylässä asuu noin 90 asukasta ja talouksia on noin 50. Kesäisin ja syksyisin väkimäärä lisääntyy marjastuksen, metsästyksen ja mökkiläisten vuoksi. Vesistöissä on kalaa, ja marjastus- sekä metsästysmahdollisuudet ovat kylällä hyvät.
Suomussalmen kunnan keskustaajama Ämmänsaari on noin 30 kilometrin päässä Vääkiöstä.  Kirjastoauto käy taloissa kahden viikon välein.
Tapahtumia ja nähtävyyksiä

Vääkiössä on vaalittu vanhaa tervanpolttokulttuuria. Vuonna 1992 kylälle rakennettiin Tervatupa, jonka hirsiosat ovat peräisin Niemelän talosta, 1840-luvulta. Tervahauta palaa muutaman vuoden välein ja tervaa sekä tervankusta tulee aina myytäväksi asti. Viimeksi tervahauta poltettiin 2011 ja Tervatuvalle kokoontui kyläläisiä Tervatapahtumaan. Tervanpolttoperinnettä on esitelty myös ulkomaalaisille nuorille, jotka ovat olleet työleireillä seudulla.
Lisäksi kesäisin on höylätty kattopäreitä tilauksesta. Kattopäreisiin on suositeltu kyllästysaineeksi Vääkiön tervaa ja tervankusta. Tervaperinteen jatkamiseksi vaaditaan hyvälaatuista tervaspuuta.
Sota-aikana Vääkiössä on ollut saksalaisten vankileiri, ja neuvostoliittolaiset sotavangit ovat rakentaneet rautatietä. Heidän muistokseen on Suomi–Neuvostoliitto-seuran Alanäljängän Vääkiön osaston aloitteesta pystytetty hautamuistomerkki 4.9.1957. Muistomerkin tähdet on kaivertanut Emil Oksman.
Willem Boy

Willem Boy: Kustaa Vaasan hautamuistomerkki Uppsalan tuomiokirkossa
Willem Boy (myös Guillaume Boyen, Willem Boyens; n. 1520 Mechelen – 1592 Tukholma) oli flaamilaissyntyinen, Ruotsissa työskennellyt kuvanveistäjä ja arkkitehti.
Boy saapui noin vuonna 1557 tai 1558 Ruotsiin. Helmikuusta 1562 heinäkuuhun 1565 hän oli Antwerpenissä, jossa teki veistoksia Eerik XIV:lle ja osti kultasepän töitä kuninkaalliseen kokoelmaan. Tämän jälkeen hän palasi Tukholmaan, josta lähti jälleen vuonna 1566 Antwerpeniin ostamaan koruja Ruotsin kuninkaalle. 28. helmikuuta 1569 Boy sai nimityksen Juhana III:n hovitaiteilijaksi. Hänen töidensä joukossa on Kustaa Vaasan, Katariina Saksi-Lauenburgilaisen ja Margareeta Leijonhufvudin hautamuistomerkki Uppsalan tuomiokirkossa. Sitä varten hän matkusti vuonna 1572 Englantiin ostamaan marmoria ja alabasteria. Boy työskenteli myöhemmin arkkitehtina Drottningholmin linnan edeltäjässä, Tukholman kuninkaanlinnassa ja Svartsjön linnassa. Hän työskenteli myös useiden Tukholman kirkkojen, kuten Pyhän Jaakobin kirkon, Pyhän Klaaran kirkon, Maria Magdaleenan kirkon ja Riddarholmskyrkanin parissa.
Boy kuoli vuoden 1592 huhtikuun 19. päivän ja marraskuun 29. päivän välisenä aikana. Hänet on haudattu Riddarholmskyrkaniin.
Vääkiön rautatieasema

Vääkiön rautatieasema (lyh. Vö) oli rautatieliikennepaikka Suomen rataverkkoon kuuluneella rataosuudella Pesiökylä–Taivalkoski. Liikennepaikka sijaitsi noin 21 kilometriä pohjoiseen Pesiökylän asemalta, noin 95 kilometriä pohjoiseen Kontiomäen asemalta ja noin 61 kilometriä etelään Taivalkosken asemalta. Liikennepaikka sijaitsi Suomussalmen kunnan Vääkiönvaarassa.
Liikennepaikka avattiin virallisesti 15. marraskuuta 1957. Se muutettiin miehittämättömäksi kesäkuussa 1959. Henkilöliikenne lakkautettiin 23. toukokuuta 1982 ja tavaraliikenne 1. helmikuuta 1999. Liikennepaikka lakkautettiin lopullisesti 9. tammikuuta 2005. Käytännössä liikennepaikka on ollut lakkautettuna 4. elokuuta 2004 alkaen, kun Pesiökylän ja Taivalkosken välinen rataosuus lakkautettiin liikennöintikelvottomana.
Vääkiön pysäkkirakennus valmistui vuonna 1956.
Aiheesta muualla

Vaunut.org: kuva Vääkiön asemarakennuksesta
Wilhelm Ackermann

Wilhelm Ackermann
Wilhelm Friedrich Ackermann (29. maaliskuuta 1896 Herscheid – 24. joulukuuta 1962 Lüdenscheid) oli saksalainen matemaatikko, joka tunnetaan nykyisen ensimmäisen kertaluvun predikaattilogiikan muotoilijana David Hilbertin ohella sekä Ackermannin funktiosta.
Julkaisuja

"Die Widerspruchsfreiheit des Auswahlaxioms", 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Volume 1924, S. 246–250
"Begründung des ,,tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit", 1925, Mathematische Annalen, Volume 93, S. 1–36
Grundzüge der theoretischen Logik, yhdessä David Hilbertin kanssa (1928)
"Zum Hilbertschen Aufbau der reellen Zahlen", 1928, Mathematische Annalen, Volume 99, S. 118–133
"Über die Erfüllbarkeit gewisser Zählausdrücke", 1928, Mathematische Annalen, Volume 100, S. 638–649
"Untersuchungen über das Eliminationsproblem der mathematischen Logik", 1935, Mathematische Annalen, Volume 110, S. 390–413
"Zum Eliminationsproblem der mathematischen Logik", 1935, Mathematische Annalen, Volume 111, S. 61–63
"Beiträge zum Entscheidungsproblem der mathematischen Logik", 1936, Mathematische Annalen, Volume 112, S. 419–432
"Die Widerspruchsfreiheit der allgemeinen Mengenlehre", 1937, Mathematische Annalen, Volume 114, S. 305–315
"Mengentheoretische Begründung der Logik", 1938, Mathematische Annalen, Volume 115, S. 1–22
"Zur Widerspruchsfreiheit der Zahlentheorie", 1940/1941, Mathematische Annalen, Volume 117, S. 162–194
"Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse", 1951, Mathematische Zeitschrift, Band 53, Heft 5, S. 403–413
"Zur Axiomatik der Mengenlehre", 1956, Mathematische Annalen, Volume 131, S. 336–345
"Widerspruchsfreier Aufbau einer typenfreien Logik".,1951/52, Mathematische Zeitschrift, Band 55, S. 364–384
"Widerspruchsfreier Aufbau einer typenfreien Logik". II.,1953, Mathematische Zeitschrift, Band 57, S. 155–166
"Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.", 1958, Archiv für mathematische Logik und Grundlagenforschung, Band 4, S. 3–26
"Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.", 1960/61, Archiv für mathematische Logik und Grundlagenforschung, Band 5, S. 96–111
Käännös suomeksi
West Baton Rougen piirikunta

West Baton Rougen piirikunta (engl. West Baton Rouge Parish, ransk. Paroisse de Bâton Rouge Ouest) on Yhdysvaltojen Louisianan osavaltiossa sijaitseva piirikunta. Sen väkiluku oli 26 465 vuonna 2019. Piirikunnan hallintokeskus on Port Allenin kaupunki. Piirikunta on perustettu 31. maaliskuuta 1807.
Aiheesta muualla

Kuvia tai muita tiedostoja aiheesta West Baton Rougen piirikunta Wikimedia Commonsissa
Vulcan

Vulcan voi viitata seuraaviin asioihin:
Vulcan, kaupunki Albertassa, Kanadassa
Vulcan, roomalainen tulenjumala
Vulcan, United Launch Alliancen kehitteillä oleva kantoraketti
Avro Vulcan, brittiläinen pommikone
M61 Vulcan, yhdysvaltalainen lentokoneiden konetykki
M163 Vulcan, yhdysvaltalainen ilmatorjuntapanssarivaunu.
Ab Vulcan, Turussa 1898–1924 toiminut telakkateollisuusyhtiö, myöhemmin (1924–1965) Crichton-Vulcan.
Wienerschnitzel

Wienerschnitzel on yhdysvaltalainen pikaruokaketju, jonka perusti John Galardi vuonna 1961 Wilmingtonssa, Kaliforniassa, jossa sijaitsee myös sen päämaja.
Won

Won tarkoittaa seuraavia:
Korean won, Korean rahayksikkö vuosina 1902–1910
Etelä-Korean won, Etelä-Korean rahayksikkö
Pohjois-Korean won, Pohjois-Korean rahayksikkö
World Opponent Network, WON, Sierra Entertainmentin pelipalvelu
Hong Koo Won (1888–1970), korealainen lintutieteilijä
| --- | --- |
: Tämä on täsmennyssivu, joka luettelee monimerkityksisen käsitteen eri merkitykset tai useita eri henkilöitä. Artikkelisivuja, joiden nimessä tai tekstissä lukee ”Won”, voi hakea sivunnimihaulla, laajalla sivunnimihaulla tai tekstihaulla.
WhatPulse

| WhatPulse |
| --- | --- |
Kehittäjä:  Martijn Smit
Kehityshistoria
Vakaa versio:  2.3.1 / 12.12.2013
Tiedot
Ohjelmistotyyppi:  Näppäinten painallusten, hiiren klikkausten, tiedonsiirron laskentaohjelma sekä käytettävien ohjelmien seurantaan suuntautunut ohjelma.
Alusta:  Microsoft Windows, Macintosh, Linux
Lisenssi:  Freeware
Aiheesta muualla
whatpulse.org
WhatPulse on laskentaohjelma, joka ottaa talteen tietokoneen hiiren napin näpäytyksien ja näppäimistön painalluksien määrät sekä hiiren liikkumispituuden maileina, kilometreinä tai metreinä. Nämä tiedot voi lähettää WhatPulsen verkkosivuille, jossa ne pysyvät tallessa ja jossa niitä voi omalla käyttäjätunnuksellaan tarkastella. Ohjelma on ilmaisohjelma, jonka voi ladata ilmaiseksi. Ohjelma valmistui vuonna 2003. Tietyt virustorjuntaohjelmat saattavat tulkita ohjelman haitalliseksi juuri ohjelman toiminnan takia.
22. joulukuuta vuonna 2012 WhatPulse siirtyi versioon 2.0, jolloin hiiren liikkumispituuden mittaus jäi pois. Tilalle ohjelmistoon lisättiin datansiirtoa, tietokoneen päälläoloaikaa sekä myös käytettävien sovellusten seuranta. Jokaiselle tietokoneessa käytettävälle sovellukselle on saatavilla tiedot näppäimistön painalluksista, hiiren klikkauksista, päälläoloajasta sekä sovelluksen käyttämästä dataliikenteestä. Näiden perusteella voi päätellä sekä seurata omaa käyttäytymistä koneella.
Tammikuussa 2014 WhatPulsella oli n. 150 000 käyttäjää 188 eri maasta, ja jokainen päivä uusia käyttäjiä liittyi keskimäärin 143 henkilöä. Suomi on tilastoissa näppäinten painelussa 10., hiiren klikkailuissa 10., jäsenmäärältä 11., datan siirrolta down 13./up 14. ja uptimen osalta 12. Aktiivisia jäseniä Suomesta löytyy 693 kappaletta.
Ohjelmistoa yleisesti pidetään tietoturvan puolesta arveluttavana tietoturvayrityksien mukaan, mutta suurin osa ihmisistä pitää silti ohjelmaa luotettavana käyttää.  Myös Isthewebsafe.com-sivustolla Whatpulsea pidetään turvallisena ohjelmana.
Aiheesta muualla

Whatpulse.orgin keskustelupalsta (englanniksi)
Whatpulse.orgin blogi (englanniksi)
Vastaavia ohjelmia

Wakoopa