Godel has no idea what truth is so incompleteness theorem ismeaningless
in [Logic]
|
Prev: Download for FREE fotos, music, software, games, videos, movies and much more
Next: Does Such a Relation Exist?
From: Nam Nguyen on 11 Nov 2009 01:11 Nam Nguyen wrote: > Rupert wrote: >> >> I thought you agreed that "numeral" was a syntactical notion. You have >> some kind of issue with me quantifying over all the numerals, do you? >> > > Let's define this formula: > > (1) Ax[even(x) \/ odd{x}] > > Can do the "quantifying over all the numerals" in a finite formula as (1)? I meant: Can *you* do the "quantifying over all the numerals" in a finite formula as (1)? > > Yes, I do have an issue with you saying "quantifying over all the numerals" > is a _syntactical notion_: you don't know what you're talking about! |