|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Dnia 5 października 2010 r. w Oslo, Norwegia, odbędą się pierwsze warsztaty nt. interoperacyjności bazującej na modelu.
Interoperacyjność to zdolność odrębnych obiektów, systemów lub artefaktów do współpracy. Choć potrzeba osiągnięcia interoperacyjności heterogenicznych syst... Dnia 4 października 2010 r. w Oslo, Norwegia, odbędą się 15. międzynarodowe warsztaty nt. modelowania aspektowego.
W ciągu minionej dekady naukowcy wprowadzili wiele nowych konceptów i mechanizmów aspektowych oraz wskazali na rozmaite problemy związane z opracowywaniem ... W dniach 24 - 26 września 2012 r. w Oslo, Norwegia, odbędzie się siódma międzynarodowa konferencja nt. technologii Body Area Network.
Konferencja poświęcona będzie analizie i wyjaśnianiu wyzwań stojących przed projektowaniem, budowaniem i wdrażaniem "sieci ciała". Sieć ciała to te... Dnia 4 października 2010 roku odbędą się w Oslo trzecie międzynarodowe warsztaty na temat architektury opartej na modelach oraz budowy systemów osadzonych.
Techniki inżynieryjne oparte na modelach (model-based engineering, MBE) umożliwiają w procesie warstwowej budowy systemów utrwalanie niewykorzystywanych wyspecjalizo... Niemieccy naukowcy opracowali teorię, która pozwala przewidywać pole magnetyczne zarówno planet jak i gwiazd. Symulacje komputerowe przeprowadzone przez zespół pokazują, że siła pola magnetycznego ciała niebieskiego zależy od ilości energii (w postaci np. ciepła lub św...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Thoralf SkolemTo hasło encyklopedii posiada podstrony: 1 [2],[3] Czy wiesz że...? Światło zodiakalne - słaba poświata, ukazująca się na nocnym niebie w pasie przebiegającym wzdłuż ekliptyki (zodiaku, stąd nazwa) w pobliżu Słońca. Finityzm - nurt filozofii matematyki, będący skrajną odmianą konstruktywizmu. Zwolennicy finityzmu uznają istnienie obiektów matematycznych o tyle, o ile są one dane "bezpośrednio" (jak na przykład liczby naturalne), lub dają się skonstruować z takich obiektów za pomocą skończonej liczby kroków. "Umiarkowany" konstruktywizm dopuszcza również konstrukcje o nieskończonej liczbie kroków, pod warunkiem, że są one jednoznacznie opisane. W szczególności, dozwolone są konstrukcje obiektów oparte o indukcję matematyczną. Albert Thoralf Skolem (* 23 maja 1887 r. w Sandsvaer, † 23 marca 1963 r. w Oslo) – norweski matematyk, znany przede wszystkim ze swych prac w dziedzinie logiki matematycznej i teorii mnogości. ŻycieThoralf Skolem pochodził z chłopskiej rodziny, choć jego ojciec nie zajmował się już pracą na roli, a nauczał w szkole podstawowej. Po ukończeniu szkoły średniej w Christianii (od 1925 roku Oslo), Skolem rozpoczął studia matematyczne na tamtejszym uniwersytecie. Uczęszczał też na wykłady z fizyki, chemii, zoologii i botaniki. Charles Sanders Peirce (ur. 10 września 1839, zm. 19 kwietnia 1914) – naukowiec, filozof amerykański, twórca (obok Williama Jamesa) kierunku filozoficznego zwanego pragmatyzmem. Autor ważnych prac poświęconych metodzie nauki oraz logice relacji.
Lemat Königa to lemat mówiący o tym, że jeśli drzewo jest nieskończone, a każdy węzeł ma skończoną liczbę dzieci, to musi istnieć nieskończona gałąź. W roku 1909 rozpoczął pracę jako asystent fizyka Kristiana Birkelanda, który eksperymentował wówczas z bombardowaniem namagnesowanych kul elektronami i badał zjawisko zorzy. Pierwsze publikacje Skolema dotyczyły właśnie fizyki i pisane były wspólnie z Birkelandem. W roku 1913 Skolem zdał z wyróżnieniem egzamin państwowy i ukończył rozprawę Badania algebry logiki. Wyjechał też z Birkelandem do Sudanu obserwować światło zodiakalne. W roku 1915 spędził semestr zimowy na Uniwersytecie w Getyndze, który był wówczas wiodącym ośrodkiem badań nad logiką matematyczną, metamatematyką i algebrą abstakcyjną. Rok później otrzymał stanowisko na uniwersytecie w Christianii, a w roku 1918 docenturę z matematyki i został członkiem Norweskiej Akademii Nauki i Literatury. Teoria grup – jeden z działów matematyki, uznawany za część algebry, badający własności obiektów zwanych grupami. Wraz z zastosowaniami stanowi on obecnie ogromną, autonomiczną dziedzinę wiedzy.
Wilhelm Ackermann (ur. 29 marca 1896 w Herscheid, zm. 24 grudnia 1962 w Lüdenscheid) – niemiecki matematyk, odkrywca funkcji Ackermanna, która jest ważnym przykładem w teorii obliczeń. Początkowo nie robił żadnych zabiegów dla uzyskania stopnia doktora, wydawało mu się, że nie jest to konieczne. Ostatecznie zmienił zdanie i w roku 1926 przedłożył pracę pod tytułem Kilka twierdzeń o całkowitoliczbowych rozwiązaniach pewnych równań i nierówności algebraicznych. Temat pracy podsunął mu wcześniej zmarły w roku 1922 Axel Thue. Kurt Gödel (1906-1978) – austriacki logik i matematyk; autor ważnych twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności bogatszych teorii dedukcyjnych (to znaczy takich, które obejmują arytmetykę liczb naturalnych).
Metamatematyka lub meta-matematyka – matematyka zastosowana do badania matematyki. Bardziej ogólnie to refleksja o matematyce widzianej jako pewien abstrakcyjny obiekt i produkt ludzkiego umysłu. Skolem kontynuował pracę na Uniwersytecie w Christianii aż do roku 1930, gdy został pracownikiem badawczym w Instytucie Christiana Michelsena w Bergen. Pod pewnymi względami było to wymarzone stanowisko, zapewniające swobodę badań bez obciążenia obowiązkami administracyjnymi i wykładowymi. Z drugiej strony, wymagało ono stałego pobytu w Bergen, co oznaczało brak dostępu do literatury matematycznej. W roku 1938 Skolem wrócił do Oslo, gdzie objął profesurę matematyki na uniwersytecie. Prowadził też seminaria magisterskie - głównie z algebry i teorii liczb, a jedynie sporadycznie z logiki matematycznej. Algebra ogólna – obiekt matematyczny będący przedmiotem badań algebry uniwersalnej. Czasami algebra uniwersalna nazywana jest algebrą ogólną, wówczas rozważane w niej obiekty nazywa się zwykle algebrami abstrakcyjnymi lub po prostu algebrami.
Amalie Emmy Noether (urodzona 23 marca 1882 w Erlangen - zmarła 14 kwietnia 1935), niemiecka matematyczka, znana głównie dzięki osiągnięciom w teorii pierścieni i rozwinięciu nowej gałęzi matematyku – algebry abstrakcyjnej. W uznaniu jej dokonań na tym polu pewnej klasie pierścieni nadano miano pierścieni noetherowskich. W 1918 r. udowodniła ona fundamentalne twierdzenie, tzw. twierdzenie Noether, które wiąże symetrie (niezmienniczości) praw ruchu z zachowaniem pewnych wielkości fizycznych. Był wieloletnim przewodniczącym Norweskiego Towarzystwa Matematycznego i edytorem Norsk Matematisk Tidsskrift (Norweski Przegląd Matematyczny) oraz współzałożycielem Mathematica Scandinavica. Po przejściu na emeryturę w roku 1957, odbył kilka podróży do Stanów Zjednoczonych jako wykładowca. Pozostawał aktywny intelektualnie aż do niespodziewanej śmierci w roku 1963. Peter Christian Hersleb Kjerschow Michelsen (ur. 15 marca 1857, zm. 29 czerwca 1925), norweski potentat handlowy i polityk. Od 1905 do 1907 premier Norwegii. Michelsen odegrał dużą rolę w rozdzieleniu Norwegii od Szwecji w 1905, jeden z najbardziej wpływowych ludzi polityki swojej epoki. Uniwersytet w Oslo, (no: Universitetet i Oslo (UiO), łac. Universitas Osloensis) założony w 1811 jako Universitas Regia Fredericiana wzorowany na Friedrich-Wilhelms-Universität w Berlinie. Obecnej nazwy używa się od 1939 roku. Na uniwersytecie uczy się około 32 000 studentów, a zatrudnionych jest blisko 4600 pracowników. Jest największym i najstarszym uniwersytetem w Norwegii. czytaj dalej: [2], [3]
Czy wiesz że...? beta Teoria mnogości (również: teoria zbiorów) – dział matematyki a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła ona pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań.
Aksjomat wyboru (ozn. AC) – jeden z aksjomatów teorii mnogości. Używa się różnych jego równoważnych sformułowań. Najczęściej spotykane jest następujące:
Axel Thue (ur. 19 lutego 1863 w Tönsbergu w Norwegii, zm. 7 marca 1922 w Oslo) – norweski matematyk, znany z prac z zakresu aproksymacji diofantycznej i kombinatoryki.
Twierdzenie Gödla to jeden z najbardziej znanych rezultatów logiki matematycznej. W istocie znane są dwa różne twierdzenia Gödla: pierwsze z nich to twierdzenie o niezupełności, drugie zaś to jego bezpośredni (równoważny) wniosek nazywany też twierdzeniem o niedowodliwości niesprzeczności. Oba twierdzenia zostały udowodnione w 1931 roku przez austriackiego matematyka i logika Kurta Gödla. Uważa się również, że twierdzenia te dają negatywną odpowiedź na drugi problem Hilberta, i w ten sposób mają spore znaczenie w filozofii matematyki. Inne bardzo ważne twierdzenia Gödla to: twierdzenie o istnieniu modelu i twierdzenie o nierozstrzygalności (patrz: teoria, struktura matematyczna).
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
Aksjomatyka Zermelo-Fraenkla (skr. ZF) – powszechnie przyjmowany system aksjomatów zaproponowany przez Ernsta Zermelo w 1904 r., który został później uzupełniony przez Abrahama A. Fraenkela. System ten i opartą na nim teorię zbiorów nazywa się teorią mnogości ZF. Aksjomatyka ZF uzupełniona o aksjomat wyboru nazywana jest teorią mnogości ZFC.
Równanie diofantyczne (od matematyka Diofantosa) to równanie, którego rozwiązania szuka się w zbiorze liczb całkowitych lub liczb naturalnych. Zwykle rozważa się równania diofantyczne o dwóch lub więcej niewiadomych – równania z jedną niewiadomą dają się rozwiązać metodami algebraicznymi. Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |
