Jamie Oglethorpe introduces himself
36 views
Skip to first unread message
Jamie Oglethorpe
Jul 16, 2011, 10:18:57 AM7/16/11
to Calculational Mathematics
Hi,
I am a graduate of Loughborough University of Technology in the
English east midlands, between Leicester and Nottingham. I graduated
with a BSc Honours degree in Computer Studies as it was called at the
time. This was in 1976.
I was on an industrial scholarship, so I had no opportunity for
further studies. My interest in calculational methods is mainly
focused on self improvement. I have amassed a fair library of
mathematical books, from A-Level to graduate level, and a lot of
general texts on the history of the subject. I use calculational
methods to rephrase the axioms and definitions, etc. I then try to
prove the thorems from there. I find that I don't need to grok the
intuitive leaps that abound in these books!
I am slowly working my way through "Introduction to Lattices and
Order" by B.A. Davey and H.A. Priestley (CUP). It is all rather
simple. I look forward to deriving the algorithms formally when I get
that far. Their presentation is horrible!
Jamie O in Jo'burg
I am a graduate of Loughborough University of Technology in the
English east midlands, between Leicester and Nottingham. I graduated
with a BSc Honours degree in Computer Studies as it was called at the
time. This was in 1976.
I was on an industrial scholarship, so I had no opportunity for
further studies. My interest in calculational methods is mainly
focused on self improvement. I have amassed a fair library of
mathematical books, from A-Level to graduate level, and a lot of
general texts on the history of the subject. I use calculational
methods to rephrase the axioms and definitions, etc. I then try to
prove the thorems from there. I find that I don't need to grok the
intuitive leaps that abound in these books!
I am slowly working my way through "Introduction to Lattices and
Order" by B.A. Davey and H.A. Priestley (CUP). It is all rather
simple. I look forward to deriving the algorithms formally when I get
that far. Their presentation is horrible!
Jamie O in Jo'burg
Max Lybbert
Jul 18, 2011, 12:46:06 PM7/18/11
to calculationa...@googlegroups.com
Welcome.
> --
> You received this message because you are subscribed the mathmeth.com mailing list.
> To unsubscribe from this group, send email to Calculational-Math...@googlegroups.com
> For more options, visit this group at http://groups.google.com/group/Calculational-Mathematics?hl=en
Jeremy Weissmann
Jul 18, 2011, 12:50:47 PM7/18/11
to calculationa...@googlegroups.com, calculationa...@googlegroups.com
Sorry for the delayed response — I suspect most of us are on vacation... or at least our brains are!
Welcome, Jamie!
+j
Sent from my iPhone
Apurva Mehta
Jul 23, 2011, 12:05:19 PM7/23/11
to calculationa...@googlegroups.com
Welcome! Feel free to post problems, solutions, puzzles, or anything else that might tickle the brain!
Apurva
Johann Drexl
Jul 26, 2011, 6:34:19 AM7/26/11
to Calculational Mathematics
Hi Jamie, welcome aboard. I'm trying a similar "programme", althogh
i'm focused on calculus (or "analysis" like it's called in France and
Germany). My text is "Analysis I" by O. Forster, and i'm also finding
that using tools from logic greatly aids my understanding. I'm now in
chapter 5, at the Bolzano-Weierstrass theorem. It's kind of slow,
because i'm only doing maximally one theorem per week (usually on
saturday morning). Like you, for me it's for self-improvement.
Actually, the Forster book is rather good, it's a terse and honest
text. When I was studying computer science, it was the standard text
in the calculus course that I was attending back then. But it was not
until I began using logic and especially calculational methods that I
really began to understand calculus, with all it's epsilons and
deltas. In my student days, I understood only very, very little.
Johann Drexl.
i'm focused on calculus (or "analysis" like it's called in France and
Germany). My text is "Analysis I" by O. Forster, and i'm also finding
that using tools from logic greatly aids my understanding. I'm now in
chapter 5, at the Bolzano-Weierstrass theorem. It's kind of slow,
because i'm only doing maximally one theorem per week (usually on
saturday morning). Like you, for me it's for self-improvement.
Actually, the Forster book is rather good, it's a terse and honest
text. When I was studying computer science, it was the standard text
in the calculus course that I was attending back then. But it was not
until I began using logic and especially calculational methods that I
really began to understand calculus, with all it's epsilons and
deltas. In my student days, I understood only very, very little.
Johann Drexl.
Reply all
Reply to author
Forward
0 new messages