2008/8/24 f_sophia <[EMAIL PROTECTED]>: > Bonvolu legi: > "Matematika logiko": Branĉo de matematiko, studanta la formalajn rilatojn > inter propozicioj kaj ilian aplikon al la demonstrado de matematikaj teoremoj. > > > Ĉu? > Ĉu "branĉo de matematiko" ĉu "demonstrado de matematikaj teoremoj"? > > Unue, la logiko estas logiko. > Ĝi estas studita de matematiko kaj de filozofio, sed ĝi NE estas ili.
Nu, estas malnova (sxerca?) debato, cxu matematiko estas simple grava (cxefa?) aplikajxo de logiko, cxu logiko estas simple grava (cxefa?) aplikajxo de matematiko... matematike logike filozofieme russ
