From Wikipedia, the free encyclopedia
Q.E.D. ir saīsinājums no latīņu frāzes "quod erat demonstrandum" (burtiski "kas bija jāpierāda"). Šo frāzi saīsinātajā formā raksta matemātiska pierādījuma vai filozofiska pamatojuma beigās, lai norādītu, ka pēdējais apgalvojums ir noslēdzis pierādījumu.
Frāze ir tulkojums no sākotnējās grieķu frāzes ὅπερ ἔδει δει̂ξαι (hoper edei deixai), ko izmantoja vairāki senie matemātiķi, ieskaitot Eiklīdu[1] un Arhimēdu. Šie matemātiķi, īpaši Eiklīds, tiek uzskatīti par aksiomātiskās matemātikas pamatlicējiem, ar uzsvaru uz loģiskās dedukcijas pamatu izveidi pieņēmumu vai eksperimentu vietā. Šīs frāzes izmantošana simbolizē šo uzsvaru, kā arī atzīmē šo svarīgo soli matemātikas filozofijas izveidē.
Iespējams, slavenākais šis frāzes pielietojums filozofiskā argumentācijā ir atrodams Baruha Spinozas grāmatā Ētika, publicēta pēc viņa nāves 1677. gadā. Tā ir sarakstīta latīniski un tiek uzskatīta par viņa magnum opus.
Grāmatas sistēma ir, kā saka Spinoza, "demonstrēta ģeometriskā formā" ar aksiomām un definīcijām, kam seko pierādījumi. Tas ir ievērojams uzlabojums Renē Dekarta rakstīšanas stilam Meditācijās, kas izmanto dienasgrāmatas formātu.
Šodien šī frāze ir kļuvusi par simbolu neapgāžamai loģikai, tāpēc "Q.E.D." reizēm tiek izmantots ar matemātiku nesaistītā kontekstā. Retāk tiek izmantots arī šīs frāzes latviskais tulkojums — K.B.J. ("kas bija jāpierāda").
Šodien pierādījumiem bieži vien izmato datoru palīdzību (skatīt LaTeX) un tiek pielietotas pieejamas vairākas simboliskas alternatīvas. Populārākais simbols ir ■ (melns pildīts kvadrāts), saukts arī par kapakmeni vai Halmosa simbolu (par godu Paulam Halmosam, kurš pirmais to pielietoja). Kapakmens reizēm ir tukšs: □ (tukšs melns kvadrāts). Unicode speciāli paredzēts "pierādijuma beigu simbols" U+220E (∎), bet ir arī atrodami ▮ (U+25AE, melns vertikāls taisnstūris) un ‣ (U+2023, trijstūrveida bultiņa) kā alternatīvas. Daži autori pielieto šīs notācijas variantus ar citiem simboliem, piemēram, divām slīpsvītrām (//) vai vienkārši papildus atstarpei.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.