Körülbelül hány matematikai tétel és bizonyítás van jelenleg dokumentálva?

Elég valószínű volt számomra, hogy bizony a matematikában jártas emberrel beszélgetek. A kérdésem, hogy filozófiában, logikában és nyelvészetben is jártas vagy-e? Mert ha igen, akkor egy nagyon hosszú és mindkettőnknek fáradtságos, ám de biztosan tanulságos vitának nézünk elébe, aminek a végén én adnék igazat neked.

De a helyzet az, hogy mivel én műveletlen vagyok, te pedig a hozzászólásaid alapján kizárólag a matematika területén tevékenykedsz, ezért nem hiszem, hogy bármelyikünknek megérné, hogy ragaszkodunk az álláspontunkhoz, mert még annál is hosszabb és fáradtságosabb vitának néznénk elébe, mint az első esetben, és még csak eredménye sem lenne.

(Azért is gondolom, hogy a matematika határait nem szívesen léped át, mert ha nem így lenne, már megtaláltad volna azt az érvet, amivel pontot tehettél volna a beszélgetésünk végére.)

Szívesen felajánlok egy döntetlent, mert azt érzem, hogy a vita hossza miatt, neked menne el a türelmed előbb, már csak azért is, mert nem fizetek azért, hogy foglalkozz velem (de makacsságom is ezt a gondolatomat támasztja alá). Azonban, ha mégis szívesen folytatnád avval a tudattal, hogy ez kizárólag nonprofit hobbi időtöltés, és nem valószínű, hogy valamelyikőnk meggyőzi a másikat, állok rendelkezésedre, de előre szólok, hogy nem fogok ilyen "gyorsan" reagálni mindig, ezért nem valószínű, hogy ma vagy holnap végzünk.

A félreértések végett: természetesen evvel az ajánlatommal sem szándékozlak megsérteni.

Mivel a célom, ha eddig nem érzékelted volna, az általad már folytatott, a részemről azonban még el sem kezdett vitánk elkerülése volt, ne lepődj meg azon, hogy nem érvelek a függvény fogalmának jelentése mellett, vagy ellen. Gondoltam jobb előre tisztázni, hogy mit, miről és miért kezdünk el, ha elkezdjük egyátalán.

Ezek szerint úgy állunk, hogy mégiscsak befejeződött, annak ellenére, hogy el sem kezdtük. Ennek örülök. Annak nem, hogy ettől hülyének gondolsz.

Valamint, ha már tudatosan is sértegetjük egymást: remélem, hogy soha nem fogsz még csak hasonló szituációba sem keveredni egyik diákoddal sem, mint ez, mert túl könnyen alkotsz véleményt, ez pedig hosszú távon nem hiszem, hogy pozitív egy tanár diák kapcsolatban.

Végezetül még annyit hozzátennék: remélem a távoli jövőben egyszer majd összefutunk és egy szigorúan szakmai vitából tudunk mindketten, plusz a matematika is profitálni, még ha a kölcsönös szimpátiáról szó sem lehet. :)

Amúgy szerintem, a beszélgetésből le lehet vonni (mindenkinek aki elolvasta) a tanulságot, miszerint nem véletlen, hogy kialakult a formalizmus.

:D :D