Kibinadamu
Elewa
Ufahamu wa ndani, mifano, picha, dhana na uthibitisho wa kibinadamu ulio wazi. Si jinsi tu — bali kwa nini ni kweli.
Chloe, mwanahisabati: “Kwa nini hili ni kweli?”
Shule ya hisabati ya bure na ya chanzo huria
Hisabati, kuanzia kuhesabu hadi kategoria — kwa kila mtu, kila mahali.
The Lumenary ni mtaala unaokua ambapo kila wazo huchunguzwa kwa njia tatu: kueleweka na watu, kuthibitishwa kwa usahihi, na kujaribiwa kwa ukokotoaji. Jifunze kwa kasi yako mwenyewe. Hakuna akaunti, hakuna matangazo, hakuna mfululizo wa siku.
Hisabati moja. Lugha nyingi. Kila taifa.
Mudu ya sasa. Chungulia ya baadaye. Kamwe usidai ya baadaye ili kuelewa ya sasa.
Njia tatu za kujua, zilizofumwa pamoja
Kila wazo hufundishwa kupitia njia tatu zinazokamilishana na kusaidiana, badala ya kila moja kukaa katika kitabu chake.
Rasmi
Thibitisha
Fasili sahihi na uthibitisho uliokaguliwa na mashine katika Lean 4. Mawazo ya msingi huwekwa wazi; hakuna kinachodaiwa ambacho hakikukompailiwa.
Gideon, mfuasi wa urasmi: “Je, tunaweza kuthibitisha hili kwa usahihi?”
Kikokotozi
Kokotoa
Majaribio ya Python unayoweza kuendesha kwenye kivinjari chako. Jifunze tofauti kati ya ushahidi, ukadiriaji na uthibitisho.
Margaret, mkokotoaji: “Itakuwaje tukikokotoa?”
Njia ya kwanza iko wazi
Masomo matano yanayounganika, kuanzia kupanga kikapu cha matunda hadi kujumuisha fanksheni — mlango wa kuingia nadharia ya kategoria.
- 1Chekechea–Darasa la 2MikusanyikoKupanga, kuwa mwanachama, na sanduku tupu la kushangaza — mawazo ya kwanza kabisa kuhusu seti.Umri miaka 5–8
- 2Darasa la 3–5SetsMembership, subsets, unions and intersections — the language almost all of mathematics is written in.Ages 8–12
- 3Darasa la 6–8IntegersNumbers below zero, the opposites that cancel them, and a proof of why negative times negative is positive.Ages 11–14
- 4Darasa la 6–8FunctionsRules that give exactly one output for every input — drawn as arrows, built from ordered pairs, and sorted into injective, surjective and bijective.Ages 12–15
- 5Darasa la 9–12CompositionDoing one function and then another — why order matters, why brackets don't, and how this simple idea opens the door to category theory.Ages 14–18
Hiari · haipewi alama kamwe
Njia za Maajabu
Vijia vya pembeni vya hiari kwa wadadisi. Havihesabiwi dhidi yako kamwe, na daima vinakurudisha pale ulipokuwa.
Chekechea–Darasa la 2Boxes inside boxesWhat is inside a box that contains only an empty box? Is it empty? And can every description you can think of make a collection?Fuata njia Darasa la 6–8How many infinities?There are infinitely many counting numbers and infinitely many infinite 0–1 sequences. Are these two infinities the same size?Fuata njia Darasa la 6–8Clock arithmeticIt's 9 o'clock. What time will it be in 5 hours — and in 29 hours? Can a clock teach us a whole new kind of arithmetic?Fuata njia Darasa la 6–8Inverses and structureEvery integer can be added to another integer to get . So why can almost no integer be multiplied by another integer to get ?Fuata njia Darasa la 6–8Remainder familiesSort every integer — positive, negative and zero — into families by its remainder after dividing by 3. If you add a member of one family to a member of another, does the family of the answer depend on which members you chose?Fuata njia Darasa la 9–12The product, by its mapsCan you describe the set of pairs without ever looking inside it — only by how functions go into it?Fuata njia
Tafuta mahali pa kuanzia
Kila mwanafunzi huanzia mahali fulani. Chagua mlango unaokufaa — unaweza kuzunguka wakati wowote.
Wanafunzi wadogoUmri miaka 5–8Kupanga, kuhesabu na mikusanyiko.WavumbuziUmri miaka 8–14Seti, namba kamili na ruwaza.SekondariUmri miaka 14–18Fanksheni, mjumuisho, uthibitisho.Chuo kikuuShahada ya kwanzaUchambuzi, aljebra, kategoria.Uzamili na utafitiMwaka wa kwanza wa uzamili na kuendeleaNjia kuelekea utafiti.Watu wazima wanaoanzaUmri wowoteMwanzo mpya wenye heshima.WalimuWalimu na wazaziNyenzo za kuchapisha, ramani, shughuli.
Kilichopo leo — kwa uaminifu
The Lumenary iko mwanzoni kabisa. Hiki ndicho hasa kilichojengwa na kukaguliwa hadi sasa.
Hakuna maudhui yoyote ambayo yamekaguliwa bado na mwanahisabati au mwalimu wa kibinadamu. Ukaguzi huo ndio hatua muhimu inayofuata.
Tazama ripoti ya uhakiki- masomo
- 5
- Njia za Maajabu
- 7
- mada zilizowekwa kwenye ramani
- 169
- matamko ya Lean yaliyokompailiwa
- 88
- majaribio yaliyojaribiwa
- 12
- lugha za majaribio
- 6
Imehamasishwa na fadhila za kale
Ukweli, unyenyekevu, ukarimu na mshangao hutengeneza jinsi The Lumenary inavyojengwa — na kila mwanafunzi anakaribishwa, vyovyote anavyoamini.
Kwa nini tunajenga hivi