|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: 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... Pierwszymi najprostszymi formami życia nie były bakterie lub wirusy, ale związki organiczne - aminokwasy lub ich zespoły - twierdzi prof. Maciej Pawlikowski z Pracowni Biomineralogii Wydziału Geologii, Geofizyki i Ochrony Środowiska AGH w Krakowie. Jego zdaniem, d... Czy naukowa teoria gier pozwoli lepiej zrozumieć, a w konsekwencji rozwiązać problem dręczenia w szkole? Taką nadzieję ma Agata Komendant-Brodowska z Instytutu Socjologii Uniwersytetu Warszawskiego, której badania zostały nagrodzone w programie stypendialnym "Dokt... W dniach 17 - 21 lipca 2011 r. w Linköping, Szwecja, odbędzie wydarzenie pt. "Powrót do strefy kontaktu - muzea, teoria, praktyka".
Muzea stanowią istotną część dziedzictwa kulturowego wszystkich krajów europejskich. Jako instytucje pozostały jednak skupione na państwie... Matematycy z Polski i innych krajów - m.in. z Francji, Niemiec, Estonii, Portugalii, Iranu, Nigerii - wezmą udział w IV Podlaskiej Konferencji Matematycznej, która odbędzie się w dniach 9-11 kwietnia w Białymstoku. Spotkanie organizuje Białostocki...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 MetamatematykaCzy wiesz że...? Teoria to system pojęć, definicji, aksjomatów i twierdzeń ustalających relacje między tymi pojęciami i aksjomatami, tworzący spójny system pojęciowy opisujący jakąś wybraną fizyczną lub abstrakcyjną dziedzinę. 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. HistorycznieWyodrębniła się na przełomie XIX i XX wieku jako dział badań nad podstawami matematyki. Zajmowała się analizą budowy i własności teorii matematycznych (np. niesprzeczność, rozstrzygalność, modele, interpretacje jednej teorii w drugiej). Jej główne tradycyjne gałęzie to: Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: zawsze można określić czy dana odpowiedź na pytanie stawiane przez problem jest poprawna.
Niesprzeczna teoria logiczna to taka, która nie zawiera sprzeczności. Brak sprzeczności można zdefiniować semantycznie albo syntaktycznie. Definicja semantyczna postuluje, że teoria jest niesprzeczna, jeśli posiada model. Odpowiada to pojęciu niesprzeczności w tradycyjnej logice Arystotelesa, aczkolwiek w dzisiejszej logice matematycznej używa się w zamian określenia spełnialności. Definicja syntaktyczna mówi, że teoria jest niesprzeczna, jeśli nie ma takiej formuły P, że zarówno P jak i jej zaprzeczenie można wyprowadzić z aksjomatów danej teorii za pomocą powiązanego z nią systemu dedukcji. Logicznymi aspektami metamatematyki zajmuje się obecnie logika matematyczna. Zobacz też
Czy wiesz że...? beta Struktura matematyczna - zbiór obiektów matematycznych połączonych w pewien system. Często można się spotkać z innymi nazwami struktury matematycznej, na przykład: model, system semantyczny, model semantyczny, dziedzina, struktura pierwszego rzędu.
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ń.
Alfred Tarski (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley, Kalifornia, USA) – polski matematyk i filozof pracujący przez wiele lat w Stanach Zjednoczonych.
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.
Teoria modeli (nazywana też czasem semantyką logiczną) to dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy.
Teoria dowodu to dział logiki matematycznej zajmujący się analizą pojęcia dowodu oraz możliwych sposobów używania go w rozważaniach matematycznych. Za ojca tej dziedziny uważa się Davida Hilberta, jednego z najwybitniejszych matematyków przełomu dziewiętnastego i dwudziestego wieku.
Teoria rekursji to dział logiki matematycznej, którego początki sięgają lat trzydziestych XX wieku. Do jego powstania i rozwoju w znacznym stopniu przyczynili się między innymi Alan Turing i Stephen Cole Kleene. 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. |
