Оригінал тексту Чорновий переклад Відредагований текст

Axiom in logic and Аксіома в логіці та Аксіома в логіці та математиці

mathematics is treated as a математиці розглядається розглядається як основний
basic principle that is assumed як основний принцип, принцип, який вважається
який вважається істинним
to be true without proof. The істинним без доказів.
без доказів. Використання
use of axioms in mathematics аксіом у математиці Використання аксіом у
stems from the ancient Greeks, походить від стародавніх математиці походить із давньої
most probably during the 5th греків, швидше за все, у 5 Греції, швидше за все, у 5
century BC, and represents the столітті до нашої ери, і є столітті до нашої ери, і є
beginnings of pure mathematics початком чистої початком абстрактної
as it is known today. Examples математики, як вона математики, як вона відома
відома сьогодні.
of axioms are the following: сьогодні. Прикладами аксіом є
Прикладами аксіом є такі:
"No sentence can be true and «Жодне речення не може такі: «Жодне речення не може
false at the same time" (the бути істинним і хибним бути істинним і хибним
principle of contradiction); "If одночасно» (принцип одночасно» (принцип
equals are added to equals, the суперечності); «Якщо до суперечності); «Якщо одне
sums are equal"; "The whole is рівного додати рівні, то рівне іншому, то суми рівні»;
greater than any of its parts." суми рівні»; «Ціле більше, «Ціле більше, ніж будь-яка його
ніж будь-яка його
Logic and pure mathematics частина». Логіка і абстрактна
частина». Логіка і чиста
begin with such unproved математика починаються з математика починаються з
assumptions from which other таких недоведених таких недоведених припущень,
propositions (theorems) are припущень, з яких з яких виводяться інші
derived. виводяться інші положення (теореми).
положення (теореми).
This procedure is necessary to Ця методика необхідна, щоб
avoid circularity, or an infinite уникнути замкнутості або
regression in reasoning. The нескінченної
Ця процедура необхідна, регресії(повернення до вихідної
axioms of any system must be щоб уникнути замкнутості
consistent with one another that або нескінченної регресії в точки) в обгрунтуваннях.
is, they should not lead to міркуваннях. Аксіоми Аксіоми будь-якої системи
contradictions. They should be будь-якої системи повинні повинні узгоджуватися між
independent in the sense that узгоджуватися між собою, собою, тобто не повинні
тобто не повинні призводити до протиріч. Вони
they cannot be derived from призводити до протиріч.
one another. They should also Вони повинні бути повинні бути незалежними в
be few in number. Axioms have незалежними в тому сенсі, тому сенсі, що вони не можуть
sometimes been interpreted as що не можуть бути бути похідними одне від
self-evident truths. The present похідними одне від одного. Їх також має бути
tendency is to avoid this claim одного. Їх також має бути небагато. Аксіоми іноді
небагато. Аксіоми іноді тлумачилися як самоочевидні
and simply to assert that axiom
тлумачилися як істини. Сучасна тенденція
is assumed to be true without самоочевидні істини.
proof in the system of which it Сучасна тенденція полягає полягає в тому, щоб уникнути
is a part. цього твердження і просто
в тому, щоб уникнути
цього твердження і просто стверджувати, що аксіома
The terms axiom and postulate стверджувати, що аксіома вважається істинною без доказів
are often used synonymously. вважається істинною без у системі, частиною якої вона є.
Some times the word axiom is доказів у системі,
used to refer to basic principles частиною якої вона є. Терміни аксіома і постулат
that are assumed by every часто використовуються як
Терміни аксіома і постулат синоніми. Іноді слово аксіома
deductive system, and the term часто використовуються використовується для
postulate is used to refer to firstяк синоніми. Іноді слово
principles peculiar to a позначення основних
аксіома використовується
particular system, such as для позначення базових принципів, які припускаються
Euclidean geometry. In принципів, які кожною дедуктивною
frequently, the word axiom is припускаються кожною системою, а термін постулат
дедуктивною системою, а використовується для
used to refer to first principles
термін постулат позначення перших принципів,
in logic, and the term postulate використовується для
is used to refer to first які властиві певній системі,
позначення перших
principles in mathematics. наприклад евклідовій геометрії.
принципів, властивих
конкретній системі, Часто слово аксіома
наприклад евклідовій використовується для
геометрії. Часто слово позначення перших принципів
аксіома використовується логіки, а термін постулат для
для позначення перших перших принципів математики.
принципів логіки, а термін
постулат
використовується для
позначення перших
принципів математики.
As we get older, we need more З віком нам потрібно З віком нам потрібно більше
light, but it must be more більше світла, але воно світла, але воно має бути більш
shielded, balanced, and uniform має бути більш прикритим, збалансованим і
екранованим,
light. A few tips include: рівномірним. Ось декілька
збалансованим і
рівномірним. Ось декілька порад:
Avoid direct glare caused by порад:
exposed lightbulbs. Place some Уникайте прямого відблиску від
kind of translucent material Уникайте прямих відкритих лампочок. Покладіть
between you and the light відблисків від відкритих якийсь напівпрозорий матеріал
source if you can see the лампочок. Покладіть між вами та джерелом світла,
якийсь напівпрозорий якщо ви бачите лампочку,
lightbulb while standing or
матеріал між вами та стоячи чи сидячи.
sitting. джерелом світла, якщо ви
бачите лампочку, стоячи Уникайте розміщення яскравих
Avoid placing bright чи сидячи. світильників на тлі темних
luminaires against dark стель.
ceilings. Уникайте розміщення
яскравих світильників на По можливості використовуйте
тлі темних стель. непряме освітлення; він
Use indirect lighting whenever
possible; it fills in the shadows По можливості заповнює тіні та створює м’яке
and creates a soft, glare-free використовуйте непряме середовище без відблисків, але
environment while seeming освітлення; він заповнює здається яскравішим, ніж
brighter than directly lit тіні та створює м’яке середовище з прямим
environment. середовище без освітленням.
відблисків, але здається
яскравішим, ніж Прикрийте лінійні
Conceal linear fluorescent
середовище з прямим люмінесцентні світильники за
luminaires behind a decorative освітленням.
facade, creating a cove or декоративним фасадом, що
valance. This works especially Сховайте лінійні створює козирок. Це особливо
well when you have nine-foot люмінесцентні добре працює, якщо у вас стелі
ceilings or higher, allowing the світильники за дев’ять футів або вище,
light to wash the walls and декоративним фасадом, дозволяючи світлу омити стіни
створюючи бухту або та стелі, щоб поверхня ваша
ceilings so your room surfaces
балдахин. Це особливо кімната має продовження за
become an extension of your добре працює, якщо у вас
light source. рахунок освітлення.
стелі дев’ять футів або
вище, дозволяючи світлу Використовуйте світлі кольори
Use light color finishes on омити стіни та стелі, щоб на стінах і стелі, щоб
walls and ceilings to soften the поверхні вашої кімнати пом'якшити яскраве джерело
effects of bright light sources стали продовженням світла та зменшити тіні.
вашого джерела світла.
and to reduce shadows.
•Уникайте, щоб інтер'єр вашого
Використовуйте світлі
Avoid making the interior of кольори на стінах і стелі, будинку був занадто темним
your home too dark compared щоб пом’якшити вплив порівняно з екстерєром;
to the exterior; use dimmers to яскравих джерел світла та використовуйте диммери, щоб
balance the brightness of your зменшити тіні. збалансувати яскравість
table lamps, floor lamps, and настільних ламп, торшерів і
Не робіть інтер’єр вашого люстр. Баланс рівнів
chandeliers. Balancing light
будинку занадто темним
levels within spaces and порівняно з зовнішнім освітленості всередині простору
between adjacent spaces is виглядом; використовуйте та між суміжними кімнатами є
important, since our диммери, щоб важливим, оскільки наша
accommodation is reduced. We збалансувати яскравість здатність пристосовування
can’t negotiate sharp transitions настільних ламп, торшерів зменшується. Ми не можемо так
from bright to dark spaces and і люстр. Баланс рівнів легко досягти різких переходів
освітленості всередині
vice versa as easily. від світлого до темного, і
простору та між
суміжними просторами є навпаки.
Provide good contrast between важливим, оскільки наша
Наприклад, навколо дверного
transition areas. For example, здатність зменшуватися.
отвору горизонтальне та
around a doorway, lighting Ми не можемо так легко
вертикальне освітлення навколо
horizontally and vertically досягти різких переходів
від світлого до темного одвірка є корисною підказкою
around a doorjamb is a helpful
простору і навпаки. для тих, кому важко чітко
cue for someone who has a
сфокусуватися. Вдень
hard time focusing clearly. Забезпечте хороший
контрастні кольори фарби між
During the day, contrasting контраст між областями
стіною та дверною стійкою
paint colors between wall and переходу. Наприклад,
підійдуть добре, але вночі
door jamb will work well, but навколо дверного отвору
необхідне освітлення.
illuminated delineation is освітлення по горизонталі
needed at night. Think about та вертикалі навколо Подумайте про те, щоб
waking up in the middle of the одвірка є корисною прокинутися посеред ночі і
night and trying to orient підказкою для тих, кому спробувати зорієнтуватися в
важко чітко
yourself to the room конфігурації кімнати. Світло,
сфокусуватися. Вдень
configuration. Light that is just контрастні кольори фарби яке є достатньо яскравим, щоб
bright enough to enable you to між стіною та дверним дозволити вам бачити та
see and guide you to where you косяком підійдуть добре, направити вас туди, куди ви
want to go, without being so але вночі необхідне хочете піти, але не настільки
bright as to disturb you, is very освітлення. Подумайте про яскраве, щоб заважати вам, є
helpful – a type of large area те, щоб прокинутися дуже корисним – тип нічника,
посеред ночі і спробувати
night-light. який освітлює велику площу.
зорієнтуватися в
Maintain uniform illumination конфігурації кімнати.
where possible. Oftentimes the Світло, яке є достатньо По можливості підтримуйте
way recessed or track lighting яскравим, щоб дозволити рівномірне освітлення. Часто те,
is located creates scallops of вам бачити та направити як розташоване вбудоване або
light on our walls or floors. вас туди, куди ви хочете трекове освітлення, створює
These patterns, or pools, of піти, не будучи настільки відблиски світла на наших
яскравим, щоб заважати стінах або підлозі. Ці промені
light can be confusing and
вам, є дуже корисним – або ці світлові візерунки
disorienting. тип нічника великої площі. можуть збивати з пантелику та
дезорієнтувати.
По можливості
підтримуйте рівномірне
освітлення. Часто те, як
розташоване вбудоване
або рейкове освітлення,
створює гребінці світла на
наших стінах або підлозі.
Ці візерунки або басейни
світла можуть збивати з
пантелику та
дезорієнтувати.

Перший текст з підручника Карабану (науковий стиль), другий – публіцистичний (#07

Rizzo Rep (udll.com) стр. 3)