"ගණිතමය තර්කණය" හි සංශෝධන අතර වෙනස්කම්

සංස්කරණ සාරාංශයක් නොමැත
ආරම්භයේ සිටම ගණිතමය තර්කනය ගණිතමය මූලාංග අධ්‍යයනයට දායක වූ අතර පෙරළා ගණිතමය මූලාංග ගණිතමය තර්කනයේ ඉදිරිගමනට ආධාර විය. මෙම අධ්‍යයනය 19 වැනි සියවසේ අගභාගයේදී ජ්‍යාමිතිය, අංක ගණිතය සහ විශ්ලේෂණය සඳහා ප්‍රත්‍යක්ෂක රාමු සැකිලි නිර්මාණයත් සමග ආරම්භ වූ අතර එහි ස්වභාවය හැඩගැන්වීම සඳහා 20 වැනි සියවසේදී මූලික වාදයන්ගේ සංගණතාව ඔප්පු කිරීම සඳහා ඩේවිඩ් ගිල්බර්ට් ඉදිරිපත් කළ ප්‍රකමනය දායක විය. කර්ට් ගොඩෙල් හා ‍පේරාඩ් ජෙන්සන් ආදීන් ප්‍රකමණය සඳහා ආංශික විසඳුම් දායක කළ අතර සංගතතාව ඔප්පු කිරීමේදී පැනනැගුණූ ගැටළු නිරාකරණයටද දායක විය. කුලකවාදය සඳහා වන පොදු ප්‍රත්‍යක්ෂක පද්ධතීන් ඔස්සේ ඔප්පු කළ නොහැකි ඇතැම් ප්‍රමේයයන් පැවතුනද සාමාන්‍යය ගණිතයට අයත් කරුණූ සියල්ලම පාහේ කුලක ඇසුරින් විධිමත් කළ හැකි බව කුලක වාදයට අදාල ක්‍රියාකාරකම් ඔස්සේ ඔප්පු විය. සමකාලීනව ගණිතමය මූලාංග ආශ්‍රීත අධ්‍යයනයෙන් බොහෝ විට සියළු ගණිත ක්ෂේත්‍ර වැඩි දියුණූ කළ හැකි සිද්ධාන්ත සෙවීම වෙනුවට ගණිතයේ එක් එක් ‍ක්ෂේත්‍ර කුමන විධිමත් පද්ධතිය මගින් විධිමත් කළ හැකිද යන්න සෙවීමට ඉලක්ක කළ ඒවා විය.
 
ගණිතමය තර්කනය බොහෝ විට [[කුලකවාදය]], [[ආදර්ශවාදය]], [[සහානුයාත වාදය]], සාධනවාදය[[සාධන වාදය]] සහ [[නිර්මාණාත්මක ගණිතය]] යන උපක්ෂේත්‍රවලට බෙදනු ලැබේ. මෙම එක් එක් ක්ෂේත්‍ර අර්ථ දැක්වීමේ හැකියාව සහ පළමු පෙළ තර්කනය ආදිය ඔස්සේ පොදු මූලික තර්කන විසඳුම් දරති.
 
 
[[en:Mathematical_logic]]
== References ==
http://en.wikipedia.org/wiki/Mathematical_logic

සංස්කරණ

15,134

ක්

"https://si.wikipedia.org/wiki/විශේෂ:MobileDiff/107244" වෙතින් සම්ප්‍රවේශනය කෙරිණි