Mathematica Principia сөздігі - Википедия - Glossary of Principia Mathematica

Бұл қолданылған жазбалардың тізімі Альфред Норт Уайтхед және Бертран Рассел Келіңіздер Mathematica Principia (1910–13).

I томның екінші (бірақ бірінші емес) басылымында соңында қолданылған белгілер тізімі бар.

Глоссарий

Бұл кейбір техникалық терминдердің глоссарийі Mathematica Principia енді кең қолданылмайтын немесе мағынасы өзгерген.

айқын айнымалы
байланысты айнымалы
атомдық ұсыныс
Форманың ұсынысы R(х,ж, ...) қайда R қатынас болып табылады.
Барбара
Белгілі бір нәрсе үшін мнемоника силлогизм.
сынып
Кейбір типтегі мүшелердің ішкі жиыны
кодомейн
Қатынастың кодомені R класс ж осындай xRy кейбіреулер үшін х.
ықшам
Қатынас R ықшам деп аталады xRz бар ж бірге xRy және yRz
үйлесімді
Егер барлық нөлдік емес мүшелерде бірдей белгі болса, нақты сандар жиынтығы конкордант деп аталады
байланысты
байланыс
Қатынас R егер ол кез-келген 2 мүше үшін байланысқан деп аталады х, ж немесе xRy немесе yRx.
үздіксіз
Үздіксіз серия - бұл шындыққа толық изоморфты толық реттелген жиынтық. * 275
коррелятор
биекция
жұп
1. Кардиналды жұп - бұл екі элементтен тұратын класс
2. Реттік жұп - реттелген жұп Премьер-министр қатынастың ерекше түрі ретінде)
Дедекиндиан
214
анықтама
Белгі анықталды
анықтамалар
Бір нәрсенің мағынасы
туынды
Қатардың ішкі класының туындысы - бос емес ішкі сыныптардың шектер класы
сипаттама
Берілген қасиеті бар бірегей объект ретінде бір нәрсені анықтау
сипаттау функциясы
Шындық мәндері қажет емес мәндерді қабылдайтын функция, басқаша айтқанда тек функция деп аталмайды.
әртүрлілік
Теңсіздік қатынасы
домен
Қатынас саласы R класс х осындай xRy кейбіреулер үшін ж.
қарапайым ұсыныс
«Немесе» және «емес» қолдана отырып, бірақ шектелген айнымалысы жоқ атомдық ұсыныстардан құрылған ұсыныс
Эпименидтер
Эпименидтер аңызға айналған Крит философы болған
бар
бос емес
кеңейту функциясы
Егер оның аргументтерінің бірі баламалыға өзгертілсе, мәні өзгермейтін функция.
өріс
Қатынас өрісі R бұл оның домені мен кодоменінің бірігуі
бірінші ретті
Бірінші ретті ұсыныстың жеке адамдар бойынша сандық бағалауға рұқсат етіледі, бірақ жоғары типтегі заттарға емес.
функциясы
Бұл көбінесе пропозициялық функцияны білдіреді, басқаша айтқанда «шын» немесе «жалған» мәндерін қабылдайтын функция. Егер ол басқа мәндерді алса, оны «сипаттайтын функция» деп атайды. Премьер-министр барлық аргументтерде бірдей мәндерді қабылдаса да, екі функцияның әр түрлі болуына мүмкіндік береді.
жалпы ұсыныс
Құрамында кванторлар бар ұсыныс
жалпылау
Кейбір айнымалылар бойынша кванттау
біртекті
Егер барлық аргументтер бірдей типке ие болса, қатынас біртектес деп аталады.
жеке
Қарастырылып отырған ең төменгі типтегі элемент
индуктивті
Соңғы, кардиналды индуктивті деген мағынада, егер оны 1-ден 0-ге қайта қосу арқылы алуға болады * 120
интенсивті функция
Кеңейтілген емес функция.
логикалық
1. The логикалық қосынды екі ұсыныс олардың логикалық дизъюнкция
2. The логикалық өнім екі ұсыныс олардың логикалық байланыс
матрица
Шектелген айнымалылары жоқ функция. * 12
медиана
Егер сыныптың қандай да бір элементі кез-келген екі мүшенің арасында болса, онда класс қатынас үшін медиана деп аталады. * 271
мүше
элемент (сынып)
молекулалық ұсыныс
Екі немесе одан да көп атомдық ұсыныстардан «немесе» және «емес» мәндерін қолданып жасалған ұсыныс; басқаша айтқанда, атом емес қарапайым ұсыныс.
нөлдік класс
Мүшелері жоқ класс
предикативті
Ғылыми пікірталас ғасыры бұл нақты нені білдіретіні туралы нақты келісімге қол жеткізе алмады және Mathematica Principia келісу оңай емес бірнеше түрлі түсіндірмелер береді. Кіріспеден және * 12 қараңыз. * 12 предикативті функция - айқын (байланысты) айнымалылары жоқ функция, басқаша айтқанда матрица дейді.
қарабайыр ұсыныс
Ұсыныс дәлелсіз қабылданды
прогрессия
Бірізділік (натурал сандармен индекстелген)
рационалды
Рационал қатар - бұл рационал сандарға изоморфты ретке келтірілген жиын
нақты айнымалы
еркін айнымалы
референт
Термин х жылы xRy
рефлексивті
сынып өзінің жеке жиынтығымен бір-біріне сәйкес келеді деген мағынада шексіз (* 124)
қатынас
Кейбір айнымалылардың (әдетте екі) пропозициялық функциясы. Бұл қазіргі «қатынас» мағынасына ұқсас.
салыстырмалы өнім
Екі қатынастың салыстырмалы туындысы - олардың құрамы
релетум
Термин ж жылы xRy
ауқымы
Өрнектің қолданылу саласы - бұл өрнектің белгілі бір мағынасы бар ұсыныстың бөлігі (III тарау)
Скотт
Сэр Уолтер Скотт, авторы Уэйверли.
екінші ретті
Екінші ретті функция - бұл бірінші ретті аргументтері болуы мүмкін функция
бөлім
Жалпы тапсырыс бөлімі - бұл барлық предшественниктерді қамтитын кіші класс.
сегмент
Кейбір сыныптың барлық предшественниктерінен тұратын толық реттелген жиынтықтың ішкі класы
таңдау
Таңдау функциясы: сыныптар жиынтығының әрқайсысынан бір элемент таңдайтын нәрсе.
дәйекті
Толық реттелген класта α класының тізбегі α барлық мүшелерінен кейін келетін терминдер класының минималды элементі болып табылады. (* 206)
сериялық қатынас
A жалпы тапсырыс сыныпта[1]
маңызды
жақсы анықталған немесе мағыналы
ұқсас
сол кардинал
созу
Реттелген кластың дөңес ішкі класы
инсульт
The Шеффер соққысы (тек екінші басылымында қолданылады Премьер-министр)
түрі
Сол сияқты тип теориясы. Барлық объектілер бірқатар дизьюнктивті типтердің біріне жатады.
әдетте
Түрлеріне қатысты; мысалы, «әдетте екіұшты» «көп мағыналы емес» дегенді білдіреді.
бірлік
Бірлік сыныбы - бұл дәл бір элементті қамтитын класс
әмбебап
Әмбебап класс дегеніміз барлық типтегі барлық мүшелерді қамтитын класс
вектор
1. Негізінен класстан өзіне дейінгі инъекциялық функция (мысалы, аффиналық кеңістікке әсер ететін векторлық кеңістіктегі вектор)
2. Вектор-отбасы дегеніміз - инъекциялық функциялардың кейбір кластан өзіне дейінгі бос емес коммутациялық отбасы (VIB)

Енгізілген рәміздер Mathematica Principia, I том

ТаңбаШамамен мағынасыАнықтама
Келесі сан қандай да бір болжамға сілтеме екенін көрсетеді
α, β, γ, δ, λ, κ, μСабақтарI тарау 5 бет
f,ж, θ, φ, χ, ψАйнымалы функциялар (бірақ later кейінірек реалдың реті ретінде қайта анықталды)I тарау 5 бет
а,б,c,w,х,ж,зАйнымалыларI тарау 5 бет
б,q,рАйнымалы ұсыныстар (дегенмен мағынасы б 40-бөлімнен кейін өзгереді).I тарау 5 бет
P,Q,R,S,Т,UҚарым-қатынастарI тарау 5 бет
. : :. ::Нүктелер өрнектерді қалай жақшаға алатынын, сондай-ақ логикалық «және» үшін қолданылуын көрсететін нүктелер.I тарау, 10 бет
Мұны көрсетеді (шамамен) х функцияны анықтау үшін қолданылатын шектелген айнымалы болып табылады. Сондай-ақ «шамамен» «жиынтығы» дегенді білдіруі мүмкін х осылай ... ».I тарау, 15 бет
!Оның алдындағы функция бірінші ретті екенін көрсетедіII.V тарау
Бекіту: бұл рас*1(3)
~Жоқ*1(5)
Немесе*1(6)
(Peano символының модификациясы Ɔ.)*1.01
=Теңдік*1.01
DfАнықтама*1.01
PpҚарапайым ұсыныс*1.1
Дем.«Демонстрация»*2.01
.Логикалық және*3.01
бqрбq және qр*3.02
Балама*4.01
бqрбq және qр*4.02
Hp«Гипотеза» үшін қысқаша*5.71
(х)Барлығына х Мұны 11.01 жағдайындағыдай бірнеше айнымалылармен бірге пайдалануға болады.*9
(∃х)Бар х осындай. Мұны 11.03-тегідей бірнеше айнымалылармен бірге пайдалануға болады.*9, *10.01
х, ⊃хЖазба х эквиваленттілік немесе импликация бәріне бірдей қолданылатын аббревиатура х. Мұны бірнеше айнымалылармен бірге қолдануға болады.*10.02, *10.03, *11.05.
=х=ж білдіреді х мен бірдей ж олардың қасиеттері бірдей деген мағынада*13.01
Бірдей емес*13.02
х=ж=зх=ж және ж=з*13.3
Бұл төңкерілген иота (Unicode U + 2129). ℩х «бірегей» деген мағынаны білдіреді х осылай .... «*14
[]Үшін ауқым индикаторы нақты сипаттамалар.*14.01
E!Мұнда бірегей ...*14.02
εГрекше «болып табылады» мағынасын білдіретін ἐστί грек сөзін қысқартатын эпсилон. Ол «мүшесі» немесе «ол» мағынасында қолданылады* 20.02 және I тарау 26 бет
Cls«Сынып» үшін қысқаша. Барлық сыныптардың 2-сыныбы*20.03
,Бірнеше айнымалылар бірдей қасиетке ие болған кезде қолданылатын қысқарту*20.04, *20.05
~ εМүшесі емес*20.06
Тірек«Ұсыныс» үшін қысқаша (әдетте дәлелдеуге тырысатын ұсыныс).* 2.17 дейінгі ескерту
РелҚатынастар сыныбы*21.03
⊂ ⪽(Қатынастар нүктесімен) жиынтығы*22.01, *23.01
∩ ⩀Қиылысу (қатынастар нүктесімен). α∩β∩γ (α∩β) ∩γ деп анықталады және т.б.*22.02, *22.53, *23.02, *23.53
∪ ⨄Одақ (қатынастар нүктесімен) α∪β∪γ (α∪β) ∪γ және т.с.с.22.03, *22.71, *23.03, *23.71
− ∸Класты толықтыру немесе екі кластың айырмашылығы (қатынастар нүктесімен)*22.04, *22.05, *23.04, *23.05
V ⩒Әмбебап сынып (қарым-қатынас нүктесі бар)*24.01
Λ ⩑Бос немесе бос класс (қатынастар нүктесімен)24.02
∃!Келесі сынып бос емес*24.03
Rж бірегей дегенді білдіреді х осындай xRy*30.01
CnvӘңгімелесу үшін қысқа. Қатынастар арасындағы кері байланыс*31.01
ŘҚатынастың кері мәні R*31.02
Мұндай қатынас егер х барлығының жиынтығы ж осындай *32.01
Ұқсас солға және оңға келтірілген аргументтер*32.02
сгҚысқаша «сагитта» (латынша - көрсеткі). Арасындағы байланыс және R.*32.03
gsSg қалпына келтіру Арасындағы байланыс және R.32.04
Д.Қатынастың домені (αДоктор α дегеніміз - домен R).*33.01
Д.(Төмен D) Қатынастың кодомені*33.02
C(«Кампус» сөзінің алғашқы әрпі, латынша «өріс» дегенді білдіреді.) Қатынас өрісі, оның домені мен кодомейнінің бірігуі*32.03
FБір нәрсенің қатынас өрісінде екендігін білдіретін қатынас*32.04
Екі қатынастың құрамы. Шеффер соққысы үшін * 8-қосымшадағы екінші қосымшаның А қосымшасында да қолданылады.*34.01
R2, R3Rn құрамы болып табылады R өзімен бірге n рет.*34.02, *34.03
қатынас болып табылады R оның домені α-мен шектелген*35.01
қатынас болып табылады R кодомен α-мен шектелген*35.02
Шамамен екі жиынтықтың туындысы, дәлірек сәйкес қатынас*35.04
P⥏α дегеніміз . Символ U + 294F юникод болып табылады*36.01
(Қос тырнақшалар.) R“Α - қатынастың анықталу облысы R α сыныбымен шектелген*37.01
RεαRεβ «α - домені R β «-мен шектелген*37.02
‘‘‘(Үш ашық тырнақшалар.) ΑR‘‘ ‘Κ“ α –ның домені R element «элементімен шектелген*37.04
E !!Шамамен қатынас белгілі бір сыныппен шектелген кезде функция дегенді білдіреді*37.05
Кез-келген функционалды белгіге немесе қатынасқа арналған жалпы символ*38
Екі айнымалы функцияның астына қойылған қос жабық тырнақша оны тиісті сынып бағалайтын функцияға өзгертеді.*38.03
бСыныптағы сыныптардың қиылысы. (Мағынасы б мұндағы өзгерістер: 40 бөлімге дейін б - бұл пропозициялық айнымалы.)*40.01
сСыныптағы сыныптардың бірігуі*40.02
қолданылады R солға және S қатынастың оң жағында*43.01
МенТеңдік қатынасы*50.01
ДжТеңсіздік қатынасы*50.02
ιГрек иотасы. Сабаққа қатысады х жалғыз элементі болатын сыныпқа х.*51.01
1Бір элементтен тұратын сыныптар сыныбы*52.01
0Жалғыз элементі бос класс болатын класс. Индекспен р бұл бос қатынасты қамтитын класс.*54.01, *56.03
2Екі элементтен тұратын сыныптар сыныбы. Үстінде нүктесі бар, бұл тапсырыс берілген жұптардың класы. Жазбамен р бұл тең емес реттелген жұптардың класы.*54.02, *56.01, *56.02
Тапсырыс берілген жұп*55.01
ClҚысқаша «сынып». Poweret қатынасы*60.01
Cl exБір класс дегеніміз екінші кластың бос емес кластарының жиынтығы деген қатынас*60.02
Cls2, Cls3Сыныптар сыныбы және сыныптар сыныбы*60.03, *60.04
RlCl сияқты, бірақ сыныптарға қарағанда қатынастар үшін*61.01, *61.02, *61.03, *61.04
εМүшелік қатынас*62.01
тБір нәрсенің түрі, басқаша айтқанда оны қамтитын ең үлкен класс. т бұдан әрі жазылымдар мен жоғарғы жазулар болуы мүмкін.*63.01, *64
т0Бір нәрсе мүшелерінің типі*63.02
αхсияқты типтегі α элементтері х*65.01 *65.03
α (х)Типінің типімен α элементтері х.*65.02 *65.04
α → β - кез-келген элементтің домені α, ал кодомейн β болатындай қатынас класы.*70.01
смҚысқаша «ұқсас». Екі класс арасындағы биекциялар класы*73.01
смҰқсастық: екі кластың арасындағы биекция бар қатынас*73.02
PΔλPΔκ дегеніміз - λ үшін таңдау функциясы P κ-мен шектелген*80.01
қоспағандаБөлінбеген әр түрлі сыныптарға жатады*84
Pх болып табылады P ішіндегі тапсырыс берілген жұптардың P оның екінші мерзімі х.*85.5
Rel MultКөбейткіш қатынастар класы*88.01
Cls2 MultСыныптардың көбейтілетін сыныптары*88.02
Көп балтаМультипликативті аксиома, таңдау аксиомасының түрі*88.03
R*Қатынастың өтпелі жабылуы R*90.01
Rст, RцБір қатынастың оң күші деген қатынастар R басқалары*91.01, *91.02
Кәстрөл(Қуаттылықты білдіретін латынша «потенция» сөзінің қысқаша мағынасы). Қатынастың оң күштері*91.03
Потид(«Potentia» үшін «Pot» + «id» «сәйкестілік» үшін.) Қатынастың оң немесе нөлдік дәрежелері*91.04
RпоОң күшінің бірігуі R*91.05
B«Бастайды» деген мағынада. Бірдеңе доменде, бірақ қатынас ауқымында емес*93.01
мин, макснәрсе қандай-да бір қатынасқа қатысты қандай да бір кластың минималды немесе максималды элементі екенін білдіру үшін қолданылады*93.02 *93.021
генҚатынастың ұрпақтары*93.03
PQ қолдану операциясына сәйкес келетін қатынас P солға және Q қатынастың оң жағында. Бұл мағына * 95-те ғана қолданылады, ал символ * 257-де әр түрлі анықталады.*95.01
ДфтУақытша анықтама (содан кейін ол қолданылады бөлімімен).* 95 ескерту
МенR,ДжRФункцияны бірнеше рет қолдану кезінде элемент кескіндерінің белгілі бір ішкі жиынтығы R. * 96-да ғана қолданылады.*96.01, *96.02
Байланыстағы элементтің ата-бабалары мен ұрпақтары класы R*97.01

Енгізілген рәміздер Mathematica Principia, II том

ТаңбаШамамен мағынасыАнықтама
NcСыныптың негізгі нөмірі*100.01,*103.01
NCКардинал сандар класы*100.02, *102.01, *103.02,*104.02
μ(1)Кардинал μ үшін бұл келесі жоғарғы типтегі бірдей кардинал.*104.03
μ(1)Кардинал μ үшін бұл келесі төменгі типтегі бірдей кардинал.*105.03
+Екі кластың бөлінген одағы*110.01
+cЕкі кардиналдың қосындысы*110.02
Crp«Корреспонденция» үшін қысқаша.*110.02
ς(Сөздің соңында қолданылатын грек сигмасы.) Қатар сегменттерінің қатары; толығымен тапсырыс берілген жиынтықтың аяқталуы*212.01

Енгізілген рәміздер Mathematica Principia, III том

ТаңбаШамамен мағынасыАнықтама
Борд«Бене ординатаның» қысқартылуы (латынша «жақсы тапсырыс берілген»), негізделген қатынастар класы*250.01
ΩЖақсы реттелген қатынастар сыныбы[2]250.02

Сондай-ақ қараңыз

Ескертулер

  1. ^ Премьер-министр бұл класс қатынас өрісі болуы керек деп талап етеді, нәтижесінде сыныпта дәл бір элемент болуы мүмкін емес деген таңқаларлық шарт туындайды.
  2. ^ Конвенция бойынша екенін ескеріңіз Премьер-министр 1 элементтен тұратын сыныпта жақсы тапсырыс беруге жол бермейді.

Әдебиеттер тізімі

  • Уайтхед, Альфред Норт және Бертран Рассел. Mathematica Principia, 3 том, Кембридж университетінің баспасы, 1910, 1912 және 1913. Екінші басылым, 1925 (1-том), 1927 (2, 3-том).

Сыртқы сілтемелер