|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
RSS
Warto przeczytać: Stefan Banach (ur. 30 marca 1892 w Krakowie, zm. 31 sierpnia 1945 we Lwowie) – polski matematyk, jeden z przedstawicieli lwowskiej szkoły matematycznej. Jego ojcem był młody góral z Ostrowska, służący jako ż... Vobis wprowadza do oferty nowy model słynnego już laptopa SONY VAIO w nowej atrakcyjnej cenie 3299 zł. Nowe modele, FW21E/ to zaawansowana technologia zaklęta w subtelną, elegancką i modną formę. Wyjątkowy komputer „bardzo osobisty” to kolejny sposób na ... Narodowy Bank Polski wprowadził do obiegu monety upamiętniające najwybitniejszego polskiego matematyka - Stefana Banacha. Złota moneta 200 złotowa, srebrna dziesięciozłotówka oraz 2 złote ze stopu Nordic Gold są dostępne od 3 kwietnia.Głów... Od połowy stycznia można ponownie zgłaszać propozycje polskich innowacyjnych technologii ekologicznych, które będą promowane na całym świecie. Ze stworzonego przez resort środowiska tzw. akceleratora zielonych technologii GreenEvo korzysta już 13 firm.Te... W najbliższą niedzielę (4 stycznia 2009r.) Ziemia znajdzie się najbliżej Słońca. Oba ciała będzie wtedy dzielił dystans 147.1 milionów kilometrów - poinformował dr Arkadiusz Olech z Centrum Astronomicznego PAN w Warszawie. W starożytności i ...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
Alfred TarskiTo hasło encyklopedii posiada podstrony: 1 [2],[3] Czy wiesz że...? Język rosyjski (русский язык, russkij jazyk; dawniej też język wielkoruski) – język należący do grupy oraz jest jednym z pięciu języków oficjalnych a jednocześnie jednym z sześciu języków konferencyjnych Organizacji Narodów Zjednoczonych. Posługuje się pismem zwanym grażdanką, graficzną odmianą cyrylicy powstałą na skutek jej upraszczania. Metajęzyk – dowolny język służący do opisu innego języka. W skład metajęzyka wchodzą nazwy wyrażeń języka opisywanego, zazwyczaj tworzone jako nazwy cudzysłowowe, predykaty opisujące relacje sematyczne między wyrażeniami języka opisywanego a tym, do czego wyrażenia te się odnoszą (np. "oznacza", "denotuje"), pewne reguły znaczeniowe, reguły składniowe itp. W szczególności językiem badanym może być ten sam język, w którym przeprowadza się badania. Alfred Tarski wł. Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley, Kalifornia, USA) – polski logik pracujący od 1939 r. w Stanach Zjednoczonych. Twórca m.in. teorii modeli i semantycznej definicji prawdy, uważany jest współcześnie za jednego z najwybitniejszych logików wszech czasów. 13672 Tarski (1997 KH) – planetoida z pasa głównego asteroid okrążająca Słońce w ciągu 4 lat i 93 dni w średniej odległości 2,62 j.a. Została odkryta 30 maja 1997 roku w Prescott Observatory przez Paula Combę. Nazwa planetoidy pochodzi od Alfreda Tarskiego, amerykańskiego uczonego, urodzonego w Polsce, wybitnego matematyka i logika.
Planetoida (planeta + gr. eídos postać), asteroida (gr. asteroeidés – gwiaździsty), planetka (ang. minor planet) – ciało niebieskie o małych rozmiarach - od kilku metrów do czasem ponad 1000 km, obiegające gwiazdę centralną (w Układzie Słonecznym - Słońce), posiadające stałą powierzchnię skalną lub lodową, bardzo często – przede wszystkim w przypadku asteroid mniejszych i mało masywnych – o nieregularnym kształcie, często noszącym znamiona kolizji z innymi podobnymi obiektami. ŻyciorysDzieciństwo i młodośćAlfred Tarski urodził się 14 stycznia 1901 r. jako Alfred Tajtelbaum w Warszawie. Był starszym synem z dwojga dzieci Róży i Ignacego Tajtelbaumów. Jego ojciec pochodził z rodziny zamożnych warszawskich Żydów i zajmował się w przemysłem drzewnym, zaś matka z rodziny znanych żydowskich przemysłowców z Łodzi, Prussaków. Tajtelbaumowie zachowywali tradycje żydowskie, w związku z czym w domu obchodzone były tradycyjne święta, a dzieci uczyły się hebrajskiego oraz Tory. Jednak rodzina obracała się też w głównym nurcie społeczno-kulturowym Warszawy i była na tyle zasymilowana, że młodzi jej członkowie uczęszczali do szkół z językiem polskim czy rosyjskim. Język grecki albo greka — język indoeuropejski z grupy helleńskiej, w starożytności ważny język basenu Morza Śródziemnego. W cywilizacji Zachodu zaadaptowany obok łaciny jako język terminologii naukowej, wywarł wpływ na wszystkie współczesne języki europejskie, a także część pozaeuropejskich i starożytnych. Od X wieku p.n.e. zapisywany jest alfabetem greckim. Obecnie, jako język nowogrecki, pełni funkcję języka urzędowego w Grecji i Cyprze. Jest też jednym z języków oficjalnych Unii Europejskiej. Po grecku mówi współcześnie około 15 milionów ludzi.
Stany Zjednoczone, Stany Zjednoczone Ameryki (ang.: United States, United States of America, US, USA) – państwo w Ameryce Północnej graniczące z Kanadą od północy, Meksykiem od południa, Oceanem Spokojnym od zachodu, Oceanem Arktycznym od północnego zachodu, Oceanem Atlantyckim od wschodu. W roku 1915 Tajtelbaum wstąpił do gimnazjum w mieszczącej się przy ul. Klonowej Szkole Mazowieckiej. W jego zakresie nauczania były wtedy niemiecki, francuski, łacina, historia, religia, prawo, logika, matematyka, fizyka, kosmografia (obejmująca astronomię, geografię i geologię) oraz higiena. W gimnazjum tym nauczano też nowo wprowadzonego języka polskiego i polskiej literatury. Chociaż świadectwo końcowe Alfreda nie wymieniało języka greckiego, to niewątpliwie wtedy zapoznał się on z greką. Posługiwał się też płynnie językiem rosyjskim. W zapiskach nauczycieli przedstawiany był jako uczeń o niezwykłych zdolnościach. Biologia (z gr. βίος (bios) - życie i λόγος (logos) - słowo, nauka) – gałąź nauki zajmująca się badaniem życia. Nauka ta skupia się na charakterystyce, klasyfikacji oraz zachowaniu organizmów żywych, jak również sposobie powstawania nowych gatunków oraz zależnościami między nimi a środowiskiem naturalnym.
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. W 1923 r. Alfred Teitelbaum wraz z bratem Wacławem zmienił nazwisko na "Tarski". Bracia wybrali to nazwisko ze względu na rdzennie polskie brzmienie i łatwą pisownię, oraz dlatego że wydawało się im ono nieużywane. (Wiele lat później Alfred spotkał innego Alfreda Tarskiego w północnej Kalifornii.) Bracia Tarscy przeszli również na katolicyzm. Alfred postąpił tak, mimo że był zdeklarowanym ateistą. Tarski był zagorzałym polskim patriotą, który uważał siebie wyłącznie za Polaka i pragnął być traktowany jako taki. Przebywając w Ameryce w domu rozmawiał nadal wyłącznie po polsku. Chile (Republika Chile – República de Chile) – państwo w Ameryce Południowej, ciągnące się długim pasem na zachodnim wybrzeżu kontynentu nad Oceanem Spokojnym. Stolicą Chile jest Santiago de Chile. Graniczy z Peru, Boliwią i Argentyną. Do Chile należą liczne wyspy przybrzeżne i wyspy na otwartym oceanie (w sumie ok. 3 tys.): Juan Fernández, Wyspa Wielkanocna (najbardziej oddalona od innych wysp i lądów zamieszkana wyspa na świecie), Sala y Gómez, San Ambrosio, San Félix, Chiloé, Campana, Santa Inés, Chonos.
Ateizm – odrzucenie lub stanowisko, że . W najszerszym znaczeniu jest to brak wiary w istnienie bóstw. Słowo ateizm pochodzi od greckiego ἄθεος – ἀ- (a-, “nie”) + θεός (theos, “bóg”). Określenie to było przypisywane każdemu, kogo uznano za wierzącego w fałszywych bogów, żadnych bogów lub doktryny wchodzące w konflikt z ówczesnymi religiami. Uniwersytet WarszawskiW 1918 w dopiero co ponownie otwartym Uniwersytecie Warszawskim zaczął studiować biologię. Tam został dostrzeżony przez Stanisława Leśniewskiego, który wówczas kierował na UW katedrą filozofii matematyki. Leśniewski przekonał Teitelbauma, by ten porzucił studia biologiczne na rzecz filozoficznych. Higiena (gr. hygeinos - leczniczy) - dział medycyny, badający wpływ środowiska na zdrowie fizyczne i psychiczne człowieka. Celem tych badań jest zapewnienie poszczególnym osobom oraz społeczeństwu jak najlepszych warunków rozwoju fizycznego i psychicznego. Praktycznymi wynikami higieny są wskazania dotyczące usuwania z życia ludzkiego wpływów ujemnych, w różny sposób zagrażających zdrowiu, i wprowadzania czynników dodatnich.
Nauki prawne to zbiór nauk społecznych i humanistycznych zajmujących się prawem. Jako synonimy "nauk prawnych" używa się również terminów prawoznawstwo czy jurysprudencja, są to jednak terminy wieloznaczne. Prawoznawstwo oznaczać może również teorię prawa, natomiast jurysprudencja uznawana jest za jedną z ogólnych nauk prawnych, specyficzną szczególnie dla krajów common law. W 1924 r. Tarski doktoryzował się na podstawie rozprawy O wyrazie pierwotnym logistyki, pisanej pod kierunkiem Leśniewskiego. Habilitował się rok później. W latach 1925-1939 był docentem Uniwersytetu Warszawskiego, gdzie prowadził wykłady z podstaw matematyki i logiki. Równocześnie uczył w Liceum im. Stefana Żeromskiego w Warszawie. W logice matematycznej przez język rozumie się pewien zbiór symboli, przy użyciu których można tworzyć bardziej złożone wyrażenia (na przykład formuły, zdania) według ściśle określonych reguł syntaktycznych. Przyjmuje się, że w danym języku L mogą występować (w dowolnej ilości) symbole funkcyjne, relacyjne oraz symbole stałych. Zdania napisane przy użyciu języków tego typu wystarczają do opisu większości własności dowolnych struktur matematycznych oraz do wyrażenia twierdzeń mówiących o tych strukturach.
Semantyka (semantyka logiczna) – obok syntaktyki i pragmatyki jeden z trzech działów semiotyki logicznej (taki podział semiotyki wprowadził Charles W. Morris), zajmujący się funkcjami semantycznymi, tj. relacjami między znakami (w tym zwłaszcza wyrażeniami) a rzeczywistością, do której znaki te się odnoszą. Tak rozumianą semantykę należy odróżnić od semantyki językoznawczej jako nauki o znaczeniu wyrazów (sam termin "semantyka" upowszechnił zresztą językoznawca, Michel Bréal) i semantyki ogólnej, nurtu filozofii języka; terminem "semantyka" określa się też niekiedy semiotykę logiczną jako całość. Za oceanemTuż przed wybuchem wojny Tarski wyjechał do Stanów Zjednoczonych, gdzie pozostał już do końca życia. Tarski przyjął obywatelstwo amerykańskie w czerwcu 1945. Oto spis posad, które obejmował podczas pobytu w Stanach: Był także profesorem wizytującym na uczelniach w Meksyku, Los Angeles, Chile, Londynie i na Sorbonie. 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ń.
Polska, oficjalnie Rzeczpospolita Polska – państwo położone w Europie Środkowej nad Morzem Bałtyckim. Graniczy z Niemcami (na zachodzie), Czechami i Słowacją (na południu), Ukrainą i Białorusią (na wschodzie), na północnym wschodzie z Litwą oraz na północy z Rosją (obwód kaliningradzki). Ponadto polska granica wyłącznej strefy ekonomicznej na Bałtyku graniczy ze strefami Danii i Szwecji. czytaj dalej: [2], [3]
Czy wiesz że...? beta 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:
Kalifornia (ang. California) – najludniejszy, najbogatszy oraz trzeci co do wielkości (po Alasce i Teksasie) stan USA. Położony na zachodnim wybrzeżu USA, nad Oceanem Spokojnym. Na północy graniczy ze stanem Oregon, na wschodzie ze stanem Nevada, na południowym wschodzie z Arizoną, a na południu z meksykańskim stanem Baja California. Cztery największe miasta stanu to: Los Angeles, San Francisco, San Diego i San José. W Kalifornii znajduje się aż osiem z pięćdziesięciu największych miast USA. Stan znany jest ze zróżnicowanego środowiska przyrodniczego i klimatu, a także z powodu wielorasowego i wielokulturowego społeczeństwa.
Meksyk (Meksykańskie Stany Zjednoczone, hiszp. – México, Estados Unidos Mexicanos, Méjico, nah. Mēxihco) – kraj w Ameryce Północnej. Sąsiaduje ze: Stanami Zjednoczonymi (na północy); Oceanem Spokojnym (na zachodzie i południu); Zatoką Meksykańską i Morzem Karaibskim (na wschodzie); Gwatemalą i Belize (na południu i południowym wschodzie).
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.
Język Québec oraz Ontario, Nouveau-Brunswick, – ok. 8 mln osób. Ok. 201 milionów używa francuskiego na całym świecie jako języka głównego (oszacowanie z r. 2009 wg Organisation mondiale de la Francophonie) a 72 miliony jako drugiego języka codziennego (w tym krajach Maghrebu). Wiele z tych osób mieszka w krajach, gdzie francuski jest jednym z języków urzędowych bądź powszechnie używanych (54 kraje). Paradoksalnie, w Algierii, Maroku, i Tunezji, gdzie nie ma statusu języka urzędowego jest bardziej rozpowszechniony niż w wielu krajach Czarnej Afryki, gdzie jest jedynym językiem urzędowym i używa go 96 milionów ludzi.
Prawda to jedna z dwóch podstawowych wartości logicznych. Drugą jest fałsz. W logice matematycznej prawda jest jedynie symbolem i nie ma żadnego głębszego znaczenia, czym różni się od swojego potocznie używanego odpowiednika. Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to tautologia.
Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać. 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. |