Математикăлла логика

«РУВИКИ» ирӗклӗ энциклопединчи материал

Математикăлла логика (урăх ятсем: теорилле логика, символла логика[1]) — математикăри паллăсене, формаллĕ системăсене, математикăри шухăшларăшсен ĕнентереслĕхне, математикăри ĕнентерÿсен пĕтĕмĕшле кăк-тымарне , шутлаяслăха тата математика никĕсĕсен ытти аспекчĕсене тĕпчесе вĕрентекен пай[2]. Анлăрах лаптăкра формаллĕ логикăн математика валли майлаштарнă енĕ пек шутланать[3]: «ăшлăхĕпе —логика, меслечĕпе — математика»[4], « математика меслечĕсемпе аталанакан логика»[5].

Математикăлла логикăн ытти логикăсенчен уйрăлса тăракан енĕсене А.А.Зализняк академик çапларах палăртнă:

Математикăлла логикăна аслă шкулсен математика уйрăмĕсенче вĕрентеççĕ.

Асăрхавсем

  1. ^ Бродский И. Н. Элементарное введение в символическую логику. — Издательство Ленинградского университета, 1972. — 63 с.
  2. ^ mathematical logic: definition of mathematical logic in Oxford dictionary (American English). 2014 ҫулхи Нарӑс уйӑхӗн 23-мӗшӗнче архивланӑ.
  3. ^ Н. И. Кондаков, Логический словарь-справочник, М.: «Наука», 1975, с. 259.
  4. ^ Платон Порецкий палăртавĕпе.
  5. ^ С. К. Клини, Математическая логика, М., 1973, с.12.
  6. ^ А. Зализняк. Лингвистика по А. Т. Фоменко.