|
|
Re: Definition of mathematics again.
Posted:
Aug 8, 2012 3:13 PM
|
|
MoeBlee wrote:
>
> On Aug 8, 6:25 am, Frederick Williams <freddywilli...@btinternet.com>
> wrote:
> > LudovicoVan wrote:
>
> > > Logic deals with validity, i.e.*logical*
> > > necessity/possibility/self-contradiction, as resulting from the form itself
> > > of statements, regardless of factual matters.
> >
> > Indeed so, but deciding what "form" is is problematic.
>
> By Church's theorem we know that the set of valid formulas is
> undecidable.
All I meant was, the meaning of the word "form" as in "logical form" is
not clear.
--
The animated figures stand
Adorning every public street
And seem to breathe in stone, or
Move their marble feet.
|
|
