Re: debate: to get a Master's Degree in CS or Not

In article <0KtEf.161278$AP5.57011@edtnps84>, owong@xxxxxxxxxxxxxx
says...
"Gerry Quinn" <gerryq@xxxxxxxxxxxxxxxxxxx> wrote in message
news:MPG.1e285c613318276898a942@xxxxxxxxxxxxxxxxxxx

I would say mathematics is the construction of lists of strings, each
string generated by performing one of several specified operations on a
previous string.

I believe Gödel tried something like this, and found that there are some
aspects of Math that cannot be captured by the construction of strings via
rules or operations. Gödel's incompleteness theorem.

No, Godel's incompleteness theorem is just a string that can be
interpreted as saying something about the classification of strings in
the lists of strings that comprise the theorems of a formal system.

In brief, it says that if a formal system of a certain complexity does
not produce both a string "x" and a string "!x" for any x, it is
possible to construct a string y such that neither "y" nor "!y" will be
produced by that system.

- Gerry Quinn
.

Relevant Pages

  • Re: Cantorian pseudomathematics
    ... is that you want to see a construction in the form of symbolic ... manipulation of strings of symbols, ... would think that your lists would have elemenets drawn from some set of ... classical mathematics implies the existence of a universe much "bigger" ...
    (sci.math)
  • Re: How come Ada isnt more popular?
    ... are praising is, because what about trees of strings, trees of lists etc. ... a language also shouldn't have strings ... but there are no generics instantiated. ...
    (comp.lang.ada)
  • Re: How come Ada isnt more popular?
    ... are praising is, because what about trees of strings, trees of lists etc. ... the language should not have either X or Y built-in. ... but there are no generics instantiated. ...
    (comp.lang.ada)
  • Re: Newb looking for data binding help
    ... lists to store the strings, ... Two strings, one for a system name and one for equipment name ... When the user clicks on an 'equipment' node, I'd like to display just ...
    (microsoft.public.dotnet.languages.vb)
  • Re: Another stab at Cantor
    ... strings Dk for integer k). ... Since the limiting case is not a list, must not apply so you ... Because the construction of the Dk is ... your lists to begin with 0), or from the entire set of positive ...
    (sci.math)