Formala cienci

De Wikipedio
Ica artiklo bezonas revizo da ula persono qua konocas ambe Ido, ed ica temo ciencala, teknologiala, matematikala, filozofiala, sportala, edc.
Ka vu povas helpar ni revizar ol?

Formala cienci esas la faki qui traktas formala sistemi, exemple logiko, matematiko, teoriala cienco komputerala*, informo-teorio, ludo-teorio, teorio pri sistemi, decido-teorio e parti di la linguistiko. Formala cienci traktas la interna traiti di la formala sistemi, nome la defini terminala e reguli, qui guvernas inferado. Kontree la naturala cienci ed altra cienci, exemple sociala cienci, kondutala cienci e konociva cienci, serchas krediveso di la ciencala teorio respektante la observaji pro ke sucesante predicar e forsan exakte explikar fenomeni di la extera mondo. Formala cienci ulatempe helpas konstruktar, valorizar e probar ciencala teorii e ciencala modeli, ma altralatere revelar kontredici o nevalida formi en la infero.