Bestudeer de zinslogica als de eerste kennismaking met wiskundige logica. Dit omvat waarheidstabellen en het gebruik van "en", "of" en "niet" in symbolische logica. Dit studieniveau moet ook eerste-ordelogica bevatten, die kwantificatoren zoals "voor iedereen" en "er bestaat" aan de taal toevoegt.
Ga verder met de bewijstheorie, de studie van symbolische manipulatie. Dit vereist een formele taal die bestaat uit een reeks symbolen en een syntaxis. Deze elementen omvatten formules die worden gebruikt om axioma's te bouwen voor de theorieën van die taal.
Ga door naar de eerste orde modeltheorie, die de structuren beschrijft die aan een reeks axioma's zullen voldoen. Logische formules worden gebruikt om de verzamelingen te bepalen die in een bepaalde structuur kunnen worden gedefinieerd.
Begin met een studie van de verzamelingenleer. Dit moet zeer grote oneindige verzamelingen bevatten om aan te tonen dat een "verzameling" een dubbelzinnig concept is.
Neem vervolgens de recursietheorie. Dit veld is de studie van het lidmaatschap van een bepaalde verzameling door te bepalen wat over die verzameling kan worden berekend in een eindig aantal stappen. Recursietheorie omvat concepten zoals graadstructuren, ideeën over reduceerbaarheid en relatieve berekenbaarheid.
Dit artikel is geschreven door een professionele schrijver, gekopieerd en gecontroleerd door middel van een multi-point auditing-systeem, in een poging om ervoor te zorgen dat onze lezers alleen de beste informatie ontvangen. Om uw vragen of ideeën in te dienen, of om gewoon meer te weten te komen, zie onze over ons pagina: link hieronder.