Re: def'n of variable
From: |-|erc (h_at_r.c)
Date: 01/20/05
- Next message: rupertmccallum_at_yahoo.com: "Re: ******* TRY THESE SCI.MATH **********"
- Previous message: |-|erc: "******* TRY THESE SCI.MATH **********"
- In reply to: futurist: "Re: def'n of variable"
- Next in thread: George Cox: "Re: def'n of variable"
- Messages sorted by: [ date ] [ thread ]
Date: Thu, 20 Jan 2005 14:35:50 +1000
"futurist" <adamgolding@adamgolding.com> wrote in message
> false--and that's nothing to do with the variable/name distinction.
> P('x') also has a truth value (false).
>
> i get the impression that logic's 'names' and 'variables' represent the
> endpoints of a range--logic only uses the endpoints, and mathematics
> uses the whole range.
George Cox seems to have heard of 'names' but I haven't. Can a
logic system substitute variables for names and be just as complete?
I'm looking at things from a programming persepective, it sounds like a
Prolog oriented approach to logic where the database of facts is
integrated into the syntax. Predicates Vs Functions.
My point was that variables can just be considered the parameters
of functions, but functions themselves are a higher order than variables.
Everything is a function in computing theory, +, 1, =, function, f, x, run, ..
constants C variables C functions
>
> i.e. arabic numerals, and any uniquely determined expressions are at
> one end, with 'arbitrary' variables at the other end, and then
> variables with only some constraints are in between.
think of 'theory, a set of formulas' for variables here, and 'model in the theory'
for determined expressions and you're onto it!
>
> just a conjecture--i don't really understand the mapping between
> logic's system and mathematics' system...
>
Logic is a subset of maths at the moment, not many of the maths text have a
Prolog Exercises section.
Herc
- Next message: rupertmccallum_at_yahoo.com: "Re: ******* TRY THESE SCI.MATH **********"
- Previous message: |-|erc: "******* TRY THESE SCI.MATH **********"
- In reply to: futurist: "Re: def'n of variable"
- Next in thread: George Cox: "Re: def'n of variable"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
