Re: Math Notations, Computer Languages, and the “Form” in Formalism

Tue Sep 8 20:21:46 EDT 2009

Musatov
Search for
   Math Notations, Computer Languages, and the “Form ” in Formalism  
(lacks links) ----------------------------- Math Notations, Computer
Languages, and the “Form” in Formalism Xah Lee, 2009-08-31 This page
is a collection of essays and expositions on the subjects of
nomenclature and notations in math and computer languages, in the
context of facilitating human communication and ... Aug 31 by Xah Lee
- 4 messages - 3 authors   Math Notations, Computer Languages, and the
“ Form” in Formalism    Aatu Koskensilta aatu.koskensi... at uta.fi sci
math Xah Lee <xah... at gmail.com> writes: • In computer algebra or
theorem proving systems, they are intimately tied to the math
philosophies of formalism and logicism. In a sense, formalism and
logicism today are tied together as a single subject, and using
computer ... Aug 31 by Aatu Koskensilta - 4 messages - 3 authors
This Week's Finds in Mathematical Physics (Week 279)    To see this,
note that any guy in h_2(K) has this form: A = t+xy y* tx where t and
x are real elements of K, and y is an arbitrary element. .... They
formulated a supersymmetric model in 6 dimensions using the
quaternions, and speculated about a similar formalism in 10 dimensions
using the octonions: 6) Taichiro ... Sep 6 by Androcles - 4 messages -
3 authors   Math Notations, Computer Languages, and the “ Form” in
Formalism    Aatu Koskensilta aatu.koskensi... at uta.fi sci math David C
Ullrich <dullrich at sprynet.com> writes: Nonsense, surely. Pure
nonsense, no doubt. But are you really certain that there's no
nonsense out there that's even more pure? Not really. I'm just winging
it. -- Aatu Koskensilta (aatu.koskensi... at uta.fi) "Wovon mann ... Sep
1 by Aatu Koskensilta - 4 messages - 3 authors   Math Notations,
Computer Languages, and the “Form” in Formalism    David C Ullrich
dullr... at sprynet.com sci math On Mon, 31 Aug 2009 17:12:20 +0300, Aatu
Koskensilta wrote: Xah Lee <xah... at gmail.com> writes: • In computer
algebra or theorem proving systems, they are intimately tied to the
math philosophies of formalism and logicism. In a sense, formalism and
logicism today are ... Aug 31 by David C Ullrich - 4 messages - 3
authors       ‪‬       fortunatus wrote:
> On Sep 7, 3:06 pm, Xah Lee <xah... at gmail.com> wrote:
> ...
> > • systems for displaying math, such as TeX, Mathematica, MathML,
> > should be unified as part of the computer language's syntax.
> ...
> > ☄
>
> to that end you might be interested in Fortress at Sun:
>
> http://projectfortress.sun.com/Projects/Community
> http://research.sun.com/projects/plrg/fortress.pdf
> http://research.sun.com/spotlight/2007/2007-01-10_fortress.html
Math Forum Discussions - sci.math.*"Form" in Formalism. David C.
Ullrich. sci.math. 8/31/09. 1 ... subnazi musatov decides what's good
for all --with no one's permission. adamk.
sci.math ...www.mathforum.com/kb/forumcategory.jspa?
categoryID=16&start=45   Discussions - sci.math | Google GroupsMusatov
(3 authors) 3:18am. Heavy water is water nonetheless. 67 new of 67 ...
Math Notations, Computer Languages, and the "Form" in Formalism. 2 new
of 2 ...groups.google.fm/group/sci.math/topics?gvc=2&hl=en
Discussions - sci.math | Google GroupsBy Musatov - 6:27pm - 5 new of 5
messages ... Math Notations, Computer Languages, and the "Form" in
Formalism ... Languages, and the "Form" in
Formalism ...groups.google.co.zw/group/sci.math/topics?
start=10&hl=en&sa=N   Discussions - sci.math | Google GroupsMath
Notations, Computer Languages, and the "Form" in Formalism. 3 new of 3
- Sep 1 ... subnazi musatov decides what's good for all --with no
one's permission ...groups.google.jo/group/sci.math/topics?
hl=en&start=   Sotheby's - Auctions - Calendar - Modern and
Contemporary Russian Art... accusations of formalism (which the state
defined as the focus on the formal ... 48 he took some drawing classes
in the art studio led by S. N. Ivashev-Musatov. ...sothebys.com/app/
live/lot/LotDetail.jsp?...&live_lot_id=24   Seismic Wave Field in the
Vicinity of Caustics and Higher-Order Travel ...In this section we
shall briefly discuss the main formalism (some details can be ... and
the quadratic form in (9') is sufficient to describe the
wave ...www.math.purdue.edu/~aduchkov/papers/duch_Studia_03.pdf
Perturbative QCD Analysis of the Nucleon's Pauli Form Factor F...
sophisticated formalism has ... Sudakov form factor in regulating
possible end-point. singularities in the ... [31] I. Musatov and A.
Radyushkin, Phys. ...www.jlab.org/~riordan/papers/e092003
Discussions - sci.math | Google GroupsMath Notations, Computer
Languages, and the "Form" in Formalism. 3 new of 3 - Sep 1 ... Korner:
On the theorem of Ivasev-Musatov. II ...groups.google.com.ua/group/
sci.math/topics?hl=pt   Discussions - sci.math | Google GroupsMath
Notations, Computer Languages, and the "Form" in Formalism. 3 new of 3
- Aug 31 ... Korner: On the theorem of Ivasev-Musatov.
II ...groups.google.gm/group/sci.math/topics?tsc=2   << 1234567 >>