Dakle, konvergirali smo ka pitanju iz opisa teme - šta je Matematika? Matematiku po mom dubokom ubeđenju od ostalih saznajnih delatnosti odvajaju njen metod i njen predmet proučavanja. Jedini metod zaključivanja koji se koristi u Matematici je dedukcija. Kakve god gluposti stajale u starim školskim udžbenicima Filosofije,
Dedukcija je metod zaključivanja kod koga je zaključak nužna posledica pretpostavki.
Narodnim jezikom rečeno, dedukcija je metod zaključivanja koji "ne može da omaši". Drugim rečima, to je metod zaključivanja kod koga nema nikakve mogućnosti da sve pretpostavke budu ispunjene, a zaključak ne, i to potpuno nezavisno od modela (interpretacije) pojmova iz formulacije. To je ujedno i opšti oblik svake matematičke teoreme: "Pod tim uslovima MORA da važi to". Često se u formulaciji teoreme ne navode sve potrebne pretpostavke, već se neke podrazumevaju, kao na primer u Geometriji geometrijske aksiome ili u Analizi aksiome polja realnih brojeva.
Mislio sam da ću svojim prethodnim postovima izbeći da odgovorim na pitanje iz naslova teme i samo dati ostalima relevantne činjenice za razmišljanje, ali eto, "vukli ste me za jezik", pa sad moram da se izjasnim. I druge discipline koriste deduktivan metod zaključivanja, ali ne kao jedini metod, već ga kombinuju sa drugim vrstama zaključivanja kao što je induktivno. Za Matematiku je karakteristično to da koristi dedukciju kao JEDINI metod dolaženja do saznanja.
Matematika, budući da koristi SAMO taj metod zaključivanja, pokušava da iz njega izvuče maksimum. Ona dakle proučava sve ono što se na taj način može proučavati. Nažalost, na taj način se može proučavati isključivo sama dedukcija, i to je jedini predmet proučavanja Matematike. Tako možete proceniti da i nešto pripada Matematici ili ne.
Dobar deo Teorijskog Računarstva je samo jedan deo Matematike. Međutim, ljudi ne uspevaju tu uvek sve da dokažu, već empirijski izvlače neke zaključke, i to onda više nije Matematika. Doduše, to i nisu baš nešto priznati rezulatati u Teorijskom Računarstvu, pa ono zapravo i jeste deo Matematike. Prvi na listi sedam matematičkih problema "ucenjenih" na po milion dolara je P prema NP, koji pripada Teorijskom Računarstvu.
Ipak, Računarstvo je nešto šire od Teorijskog Računarstva, tako da Računarstvo u celini nije deo Matematike, već je jedan deo Računarstva deo Matematike. Inače, postoji samo jedan razlog zbog kojeg Matematički Fakultet ne možete nazvati tehičkim: gospoda matematičari bi se uvredili. Čik da napišete na Matematičkom Fakultetu da je tehnički. Inače bi imali pravo budući da su matični za barem jednu oblast tehnike: Računarstvo.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.