Posts

Showing posts from April 16, 2019

Elefantøya

Image
Koordinatar: 61°8′S 55°7′W  Elefantøya øy Kart over Elefantøya Land   Antarktis Øygruppe Sør-Shetlandsøyane Stad Antarktis  - koordinatar 61°8′S 55°7′W  Høgaste punkt Pardo Ridge  - høgd 853 moh. Lengd 47 km Areal 558 km² Folketal 0  ( 2010 ) Administrert under Antarktistraktaten Elefantøya (Antarktis) Wikimedia Commons: Elephant Island Elefantøya eller Elephant Island er ei isdekt fjellendt øy utanfor kysten av Antarktis heilt ytst i Sør-Shetlandsøyane i Sørishavet. Ho vart namngjeven av tidlege sjøfarar som såg elefantsel på breidda av øya. Ho ligg 1253 km vest-sørvest for Sør-Georgia, 935 km sør for Falklandsøyane og 885 km søraust for Kapp Horn. Ho ligg innanfor kravområda til Argentina, Chile og Storbritannia. Brasil har to hytter på øya, Goeldi og Wiltgen, der opp til seks forskarar bur kvar sommar. [1] Innhaldsliste 1 Geografi 2 Endurance-ekspedisjo...

Cape Lindsey

Image
Koordinatar: 61°6′S 55°29′W  Cape Lindsey nes Land   Antarktis Stad Sør-Shetlandsøyane  - koordinatar 61°6′S 55°29′W  Administrert under Antarktistraktaten Cape Lindsey (Antarktis) Cape Lindsey er eit nes heilt vest på Elefantøya i Sør-Shetlandsøyane. Namnet finst på kartet til George Powell publisert av Richard Holmes Laurie i 1822. Kjelder | Denne artikkelen bygger på «Cape Lindsey» frå Wikipedia på engelsk, den 4. januar 2013. Wikipedia på engelsk oppgav desse kjeldene:  Denne artikkelen inneheld stoff som er offentleg eige frå United States Geological Survey-artikkelen «Lindsey, Cape» (innhald frå Geographic Names Information System). Autoritetsdata GeoNames This page is only for reference, If you need detailed information, please check here

Synthesizer

Image
Moog modular synthesizer. Synthesizer eller synth er eit elektronisk musikkinstrument som lagar ljod ved hjelp av analoge eller digitale elektroniske kretsar. Ein synthesizer inneheld komponentar som genererer, modifiserer, kontrollerer og kombinerer signal. Synthesizerar kan ha ulike utformingar, men ei tangentfjøl med pianotangentar og kontrollpanel er den vanlegaste. Dei kan også styrast frå andre intrumenttypar ved hjelp av MIDI. Dei første synthesizerane blei laga i 1950-åra og blei først brukt til kunstmusikk. Seinare fekk dei ein sentral plass i jazz og popmusikk. På 1970-talet blei synthesizerar i aukande grad brukt til pop- og rockemusikk, og på 1980-talet oppstod musikkforma synthpop. Historie | Dei fyrste kommersielle synthsizarane vart produsert av Robert Moog og selskapet Moog Music, som også fekk stor innverknad på synthesizerbruken. Den første moog-synthesizeren blei lansert i 1964. Kjelder | «synthesizer» i Store norske leksikon , snl.no. De...

Is Witten's Proof of the Positive Mass Theorem Rigorous?

Image
16 4 $begingroup$ I noticed that the only official reason given for awarding Edward Witten the Fields Medal was his 1981 proof of the positive mass theorem with spinors, so I was assuming that the proof was fully rigorous. However, I came across this paper https://projecteuclid.org/download/pdf_1/euclid.cmp/1103921154 by Taubes and Parker which claims to make Witten's proof 'mathematically rigorous' and to justify assumptions which Witten made about Dirac operators. Does this mean that the Witten proof is not rigorous, or is it just the case that there were some unjustified lemmas to clear up which do not affect the validity or rigour of the argument (similar to the case of Perelman's proof of the Poincare conjecture, where some lemmas and slight gaps had to be filled in)? I am just curious as ...