Serĉrezultoj
Salti al navigilo
Salti al serĉilo
- == Pruvoj == ...lemo de ultrafiltrilo]], malforta formo de la [[aksiomo pri elekto]]. Ĉar pruvoj estas ĉiam finiaj kaj pro tio engaĝas nur finian multon el la donitaj propo ...4 KB (626 vortoj) - 09:02, 18 okt. 2024
- == Pruvoj == ...4 KB (786 vortoj) - 01:59, 20 mar. 2013
- == Historio kaj pruvoj == Vidu en [[pruvoj de malgranda teoremo de Fermat]]. ...4 KB (608 vortoj) - 04:08, 17 sep. 2023
- ...oj uzas [[aksiomo de elekto|aksiomon de elekto]], tiel ili estas ne-efikaj pruvoj. ...2 KB (388 vortoj) - 07:41, 17 nov. 2022
- [[Kategorio:Pruvoj]] ...982 bajtoj (138 vortoj) - 15:12, 7 aŭg. 2023
- == Formoj kaj pruvoj == Pruvoj de la pli supraj malforta kaj forta leĝoj de grandaj nombroj estas iom komp ...7 KB (1 110 vortoj) - 19:56, 7 sep. 2023
- === Rikuraj solvoj kaj pruvoj === ...5 KB (745 vortoj) - 19:52, 26 feb. 2025
- == Puraj pruvoj de ekzisto de polinomo-tempaj algoritmoj == ...7 KB (1 004 vortoj) - 19:48, 17 okt. 2023
- ...rata. Ili formale ne bezonatas al esti pruvataj aparte, sed en praktiko la pruvoj estas tipe malsamaj pro bezono apartigi prezentojn. Pruvoj aŭ konstruoj uzantaj la indukton kaj rikuron ofte uzas la [[aksiomo de elek ...6 KB (1 037 vortoj) - 16:58, 3 jun. 2024
- ...onstracias povan kaj ĝeneralan manieron kiu estas uzata en larĝa limigo de pruvoj, ankaŭ konataj kiel diagonalaj argumentoj. Iuj ekzemploj estas [[paradokso [[Kategorio:Pruvoj]] ...8 KB (1 244 vortoj) - 16:19, 2 sep. 2023
- === Pruvoj === ...12 KB (1 881 vortoj) - 17:01, 3 jun. 2024
- == Pruvoj == Ekzistas multaj diversaj pruvoj por la teoremo de Pitagoro. La libro ''Pythagorean Proposition'' (Pitagora ...15 KB (2 414 vortoj) - 13:22, 7 dec. 2024
- * [[Transcenda nombro]] - la idento estis uzata en pruvoj de transendeco de iuj gravaj konstantoj ...3 KB (525 vortoj) - 11:13, 8 okt. 2024
- ...a. Tio ankaŭ ilustras kiel pruvoteorio povas esti vidita kiel operacia sur pruvoj en kombina maniero: donite pruvojn por ambaŭ A kaj B, oni povas konstrui pr ...iu derivaĵon, oni povas uzi ĝin kiel mallongigon en pruvoj. Tamen, kvankam pruvoj iĝas pli legeblajn per uzo de bonaj lemoj, ili povas ankaŭ fari la procezon ...13 KB (2 216 vortoj) - 03:26, 22 feb. 2025
- ...s granda kompare al plejparto de nombroj renkontitaj kutime en matematikaj pruvoj, neniu el ili estas proksima tiel granda kiel [[nombro de Graham]]. ...a formulon pli sube) ĝis iu termo kaj fortranĉante la reston, sed ne estas pruvoj ke la resto ne estas tro granda. ...8 KB (1 374 vortoj) - 17:25, 29 nov. 2024
- ...remo kiu havas pruvon de modera longo, pro tio ke [[formala pruvo|formalaj pruvoj]] povas facile esti agnoskitaj en polinoma tempo. Ekzemplaj problemoj povas ...M ĵurnalo pri komputado, 4(4): 431-442 (1975)</ref> Pro tio ke relativigaj pruvoj povas nur pruvi frazojn kiuj estas unuforme veraj kun respekto al ĉiuj ebla ...20 KB (3 041 vortoj) - 20:03, 27 okt. 2024
- ...lfacila. Estas du famekonataj pruvoj, unu far [[Kurt Gödel]] (kiu iras tra pruvoj), kaj unu far Malcev (kiu estas pli rekta kaj permesas limigi la [[kardinal ...8 KB (1 233 vortoj) - 03:21, 22 feb. 2025
- ...estas forblokata de la densa gaso. La ofteco supozita surbaze de la kemiaj pruvoj estas pli granda ol la atendita surbaze de la intenso de kosma radiado mezu ...4 KB (619 vortoj) - 21:30, 20 aŭg. 2023
- ...as la tutan klason de ordonombroj, tiel ĉi tiuj okazoj estas ofte uzata en pruvoj per [[transfinia indukto]] aŭ difinoj per [[transfinia rekursio]]. limaj or ...4 KB (571 vortoj) - 15:18, 26 dec. 2022
- ...L=nmbrthry&F=&S=&P=1119] Kiel estas tipa en [[Matematika pruvo|matematikaj pruvoj]], la difekti (majo, povas) esti _correctable_ aŭ (anstataŭa, anstataŭigi) ...4 KB (685 vortoj) - 08:33, 27 mar. 2016