• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Moritz Pasch

    Przeczytaj także...
    Elementy (gr. Στοιχεῖα, Stoicheia) – pochodzący z IV wieku p.n.e. traktat arytmetyczny i geometryczny, obejmujący swym zakresem podstawowe zagadnienia obu tych nauk.Matematyk – uczony, którego badania naukowe dotyczą różnych dziedzin matematyki. Matematycy zajmują się wielkością, strukturą, przestrzenią i dynamiką.
    International Standard Name Identifier (ISNI) – unikalny identyfikator służący wystandaryzowanej identyfikacji obiektów, podmiotów, autorów dzieł, utworów i publikacji.

    Moritz Pasch (ur. 8 listopada 1843 roku we Wrocławiu, zm. 20 września 1930 roku w Bad Homburg w Niemczech) – niemiecki matematyk.

    Pasch studiował w Berlinie, a następnie wykładał na uniwersytecie w Gießen. Pasch zajmował się badaniem podstaw geometrii – w wydanej w roku 1882 książce Vorlesungen über neue Geometrie podał przykład prawdziwego zdania w logicznej teorii geometrii euklidesowej, którego nie da się jednak udowodnić w oparciu o zestaw aksjomatów podanych w Elementach Euklidesa. Zdanie to wchodzi więc w skład niektórych współczesnych teorii geometrii euklidesowej jako aksjomat i znane jest jako aksjomat Pascha.

    Library of Congress Control Number (LCCN) – numer nadawany elementom skatalogowanym przez Bibliotekę Kongresu wykorzystywany przez amerykańskie biblioteki do wyszukiwania rekordów bibliograficznych w bazach danych i zamawiania kart katalogowych w Bibliotece Kongresu lub u innych komercyjnych dostawców. WorldCat – katalog rozproszony łączący zbiory 71 000 bibliotek ze 112 krajów, które są uczestnikami serwisu Online Computer Library Center. Katalog jest tworzony i prowadzony przez biblioteki, których zbiory są w nim ujęte.

    W opinii Pascha to, że niezależność jego aksjomatu od aksjomatów Euklidesa przez dwa tysiące lat uchodziła uwadze geometrów dowodzi, że wszyscy oni opierali się na wyniesionych z doświadczenia intuicjach pojęcia odcinka i wezwał do traktowania aksjomatów jako zdań formalnych, nie zaś kryjących za sobą fizyczną treść.

    Virtual International Authority File (VIAF) – międzynarodowa kartoteka haseł wzorcowych. Jej celem jest ujednolicenie zapisu nazw osobowych (haseł), dlatego zbiera z bibliotek z całego świata – ich różne wersje i prezentuje je razem, pod jednym, unikatowym identyfikatorem numerycznym. Pozwala to obniżyć koszty i zwiększyć użyteczność danych gromadzonych przez biblioteki. Informacje po dopasowaniu i połączaniu są udostępniane online bibliotekom na całym świecie. Euklides z Aleksandrii (gr. Εὐκλείδης, Eukleides, ur. ok. 365 r. p.n.e., zm. ok. 300 r. p.n.e.) – matematyk grecki pochodzący z Aten, przez większość życia działający w Aleksandrii.

    Stworzył podwaliny pod pojęcie rachunku predykatów pierwszego rzędu, jego poglądy były inspiracją dla prac Davida Hilberta.

    Linki zewnętrzne[ | edytuj kod]

  • O Paschu na Mactutor
  • Biblioteka Narodowa Francji (fr. Bibliothèque nationale de France, BnF) – francuska biblioteka narodowa, znajdująca się w Paryżu. Przewidziana jest jako repozytorium dla wszystkich materiałów bibliotecznych, wydawanych we Francji. Obecnym dyrektorem Biblioteki jest Bruno Racine.Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).




    Warto wiedzieć że... beta

    W logice matematycznej teorią nazywamy niesprzeczny zbiór zdań. Dokładniej, niech T będzie zbiorem zdań zapisanych w pewnym języku L. Wtedy T jest teorią, jeśli nie istnieje zdanie napisane w języku L takie że T dowodzi zarówno tego zdania, jak i jego zaprzeczenia. Zbiór zdań T dowodzi zdania X, jeśli można przeprowadzić formalny dowód zdania X przy użyciu zdań ze zbioru T oraz aksjomatów i reguł dowodzenia klasycznego rachunku logicznego.
    20 września jest 263. (w latach przestępnych 264.) dniem w kalendarzu gregoriańskim. Do końca roku pozostaje 102 dni.
    SUDOC (fr. Système Universitaire de Documentation, pol. Uniwersytecki System Dokumentacji) – centralny katalog informacji bibliograficznej francuskiego szkolnictwa wyższego.
    Biblioteka Narodowa Republiki Czeskiej (cz. Národní knihovna České republiky) – biblioteka narodowa Czech z siedzibą w Pradze. Biblioteka znajduje się w gmachu Clementinum. Jedna z najstarszych bibliotek na terenie Czech, której zbiory obejmują ponad 6,5 miliona woluminów.
    BIBSYS – katalog centralny dwóch norweskich bibliotek uniwersyteckich, przekształcony w organizację non-profit, która skupia norweskie biblioteki uniwersyteckie i naukowe wraz z Biblioteką Narodową.
    Narodowy Uniwersalny Katalog Centralny (NUKAT) – katalog centralny polskich bibliotek naukowych i akademickich funkcjonujący od lipca 2002 roku. Katalog obejmuje pozycje ze wszystkich katalogów rozproszonych naukowych bibliotek uniwersyteckich tworzących NUKAT. Obecnie jest to 130 bibliotek naukowych, w tym 37 z Warszawy oraz 17 z Krakowa, w dalszej kolejności są biblioteki gdańskie (10), wrocławskie (10) oraz łódzkie (9).
    Kontrola autorytatywna – w terminologii bibliotekoznawczej określenie procedur zapewniających utrzymanie w sposób konsekwentny haseł (nazw, ujednoliconych tytułów, tytułów serii i haseł przedmiotowych) w katalogach bibliotecznych przez zastosowanie wykazu autorytatywnego zwanego kartoteką wzorcową.

    Reklama

    Czas generowania strony: 0.728 sek.