Kasutaja arutelu:Minpd/Aksioom

-- Rannilo (arutelu) 13. mai 2018, kell 15:49 (EEST) Mulle isiklikult meeldiks, kui sissejuhatuse osas oleks peale formaalse definitsiooni ka juures aksioomi mõiste lihtsamate sõnadega. Selliselt, et ka 5-aastane sellest aru saaks. Võimalik, et see ei sobi Vikipeedia stiiliga kokku, aga hetkel jäi see mind lihtsalt häirima.

Mulle meeldiks ka, kui sissejuhatuses oleks see tekst paremini struktureeritud. Mingisuguse loogika alusel võiks olla seal rohkem lõike, kenamaks teeks asja ka üks "täpploend", aga võimalik, et seda ei saa antud tekstiga koostada. Konkreetsemalt võiks näiteks lõiguvahe olla peale esimest lauset; peale lauset, mis lõppeb "eeldust või selle alguspunkti"; ilmselt kuskil veel midagi.

Sisu osas oleks ehk võinud tuua näiteid ka filosoofiast, kuna sissejuhatusest tuli välja, et aksioome ei kasutata vaid matemaatikas.

"Matemaailine loogika" osa mulle üldiselt meeldis. Oli hästi struktureeritud ja jälgitav.

Korrastasin sissejuhatust, sisusse filosoofiast kirjutamine jääb edasiseks lõbuks. --Minpd (arutelu) 15. mai 2018, kell 10:45 (EEST)

Mõned parandusettepanekud:

• kahtlemata.[3]Kaasaegses - tühik puudu
• modus ponens panna kaldkirja ja teha siselingiks
• tautoloogia teha siselingiks esimene kord, kui see tekstis esineb ja rohkem mitte
• Üldiselt, kui mingi lausest arusaamist toetav erialatermin sisse tuuakse, on hea kohe link ka teha.
• Heade eestikeelsete terminite ja selgituste jaoks võid vaadata ka seda õpikut lk 83 http://kodu.ut.ee/~reimo_p/teosed/sml/sml.pdf Nii hea õpiku puhul tundub väheotstarbekas piirduda ainult võõrkeelsete allikatega.
• Kui artikkel on tõlgitud, lisa tõlkeartikli mall. Samuti võiks lisada kategooriaid.
  • https://et.wikipedia.org/wiki/Mall:T%C3%B5lgitud_leht
  • https://et.wikipedia.org/wiki/Juhend:Kategooriad

--Mirjam.paales (arutelu) 21. mai 2018, kell 15:57 (EEST)

Mõned kommentaarid.

• Lõik lausearvutuse kohta on üsna segane. Mis on prepositsioonid? Kas laused? Mis on konnektorid? Kas lausearvutuse tehted? Praegu on viidatud keeleteaduse konnektoritele, aga võiks viidata millelegi matemaatilisele.
• Kui öelda aritmeetika juures lihtsalt, et {0,S} on keel, siis ei ole arusaadav, mida see tähendab. Kas silmas on peetud signatuuri? --Valdis (arutelu) 22. mai 2018, kell 13:27 (EEST)

Parandused sisse viidud. --Minpd (arutelu) 29. mai 2018, kell 12:56 (EEST)