My Math Forum  

Go Back   My Math Forum > Welcome > New Users

New Users Post up here and introduce yourself!


Reply
 
LinkBack Thread Tools Display Modes
April 29th, 2010, 02:57 AM   #1
Newbie
 
Joined: Apr 2010

Posts: 5
Thanks: 0

pure mathematician

Hi everybody .............
I am new to this forum.
I love mathematics at its pure level. I am crazy about mathematics.

Here's something I want to ask: Is there anyone who is a pure mathematician? I mean by bsc, msc or phd OR by just as a person deeply interested in pure mathematics.
hemantc007 is offline  
 
April 29th, 2010, 06:14 AM   #2
Global Moderator
 
CRGreathouse's Avatar
 
Joined: Nov 2006
From: UTC -5

Posts: 16,046
Thanks: 938

Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms
Re: pure mathematician

Welcome!

I don't think any of our regular posters are employed as mathematicians. Many of us have math degrees of some flavor.
CRGreathouse is offline  
April 29th, 2010, 06:20 AM   #3
Senior Member
 
Joined: Oct 2007
From: Chicago

Posts: 1,701
Thanks: 3

Re: pure mathematician

Welcome!

Are you asking if there is anyone here, who is a pure mathematician?
I believe there is one poster (possibly pseudonym?) who is currently employed as a research mathematician.

I'm finishing up my undergraduate (technically in applied math), and will be going on to get a PhD in math, and I intend to work in pure math.

Anyway, welcome!
Which specific branches of math are you most interested in?
cknapp is offline  
May 1st, 2010, 09:04 AM   #4
Senior Member
 
Joined: Nov 2008

Posts: 199
Thanks: 0

Re: pure mathematician

I'm halfway through a PhD in theoretical computer science, although my first degree is maths and my work is in mathematical logic and order theory, which are pure maths subjects (at the moment I'm trying to work out whether or not a particular subclass of distributive lattices can be described in first order logic). I seem to recall at least one other poster saying something about doing a PhD related to analysis but I can't remember exactly. I can't think of anyone employed at post-doc level or beyond but there might be someone lurking around. There are definitely a few people who seem to know what they're talking about anyway!

ETA: What do you plan on doing for your PhD cknapp?
pseudonym is offline  
May 1st, 2010, 10:33 PM   #5
Senior Member
 
Joined: Oct 2007
From: Chicago

Posts: 1,701
Thanks: 3

Re: pure mathematician

Quote:
Originally Posted by pseudonym
ETA: What do you plan on doing for your PhD cknapp?
I'm trying to figure that out right now.
I really like foundational issues (especially ones with applications in computer science... e.g., type theory sorts of stuff), and I also really like category theory (despite not feeling all that comfortable with it, yet), so I'm considering topos theory/categorical logic.
I was recently told about homotopical type theory, which is a somewhat related area I'm considering.

But I'm still really not sure, at all.
cknapp is offline  
May 2nd, 2010, 03:12 AM   #6
Senior Member
 
Joined: Nov 2008

Posts: 199
Thanks: 0

Re: pure mathematician

I've never even heard of homotopical type theory! That all sounds really interesting, and pretty closely related to the kind of things I'm doing. I also like category theory, but I haven't been able to look into it enough to get much of a grip on it. I'm working in more traditional algebraic logic so I only really need the basic theory up to and including adjunction. My supervisor and I are interested in categorical logic on the basis that it might give some insite into some intractible 'classical' algebraic logic problems, but it's too big a topic for me to get a grip of quickly and I can't risk spending a long time learning the necessary category theory if it doen't go anywhere useful for us. Maybe something for a postdoc if I do one. There's also something called coalgebra which I know a lot of theoretical compsci people are heavily involved in round here. I don't know much about it myself except that it uses certain dual structures (in a categorical sense), it's another of those things that I'd like to get to know better but at the moment I've got too much on my hands.

Anyway, good luck with it all.

p.s. You might be interested in having a look at the web pages of these people (if you haven't already):
Robert Goldblatt
Yde Venema
Mai Gehrke
pseudonym is offline  
May 7th, 2010, 12:25 AM   #7
Senior Member
 
Joined: Oct 2007
From: Chicago

Posts: 1,701
Thanks: 3

Re: pure mathematician

Quote:
Originally Posted by pseudonym
I've never even heard of homotopical type theory!
Briefly: it turns out that homotopies provide a nice model for Martin-Lof type systems. It also turns out that some type theoretic ideas have some higher category significance, which has an interpretation in homotopy theory... I can't really say much more than that.

Quote:
There's also something called coalgebra which I know a lot of theoretical compsci people are heavily involved in round here. I don't know much about it myself except that it uses certain dual structures (in a categorical sense), it's another of those things that I'd like to get to know better but at the moment I've got too much on my hands.
Do you know what they are used for? I know I've read a few random blog posts about trying to use comonads (closely related to coalgebras) in Haskell for... something.

Thanks for the links; I'll definitely be looking into their work.
cknapp is offline  
May 14th, 2010, 05:24 AM   #8
Newbie
 
Joined: Apr 2010

Posts: 5
Thanks: 0

Re: pure mathematician

hey here sorry to reply so late...........
I actually meant that somebody deeply interested in mathematics .......purely ............
I mean , I want to understand what is mathematics and want to feel mathematics ......
I already some of it (I guess )feel what sir godel , sir georg cantor , sir turing. and sir boltzman .
I have a docu. on the about mathematician , named " Dangerous Knowledge "...
see it , it is pure mathematics .........
hemantc007 is offline  
May 14th, 2010, 09:28 AM   #9
Senior Member
 
Joined: Nov 2008

Posts: 199
Thanks: 0

Re: pure mathematician

@cknapp: thanks for the information on homotopic type theory. I have a friend who's off to MIT later this year to start a PhD related to algebraic topology and geometry and he was telling me how almost everything seems to be relatable to homotopy/homology theory in some way these days. If I'd known this earlier I'd have paid more attention in my undergrad module.

Unfortunately I can't really tell you much about the use of coalgebras in algebraic logic. It's a source of great mystery to me. Some day soon I intend to do the necessary reading to answer the question but as it stands I'm pretty ignorant about it.

@hemantc007: If you're looking for someone completely crazy for maths you should start by reading about Paul Erdos. A genuine mathematical monk, and a genius too.
pseudonym is offline  
May 19th, 2010, 06:24 AM   #10
Newbie
 
Joined: Apr 2010

Posts: 5
Thanks: 0

Re: pure mathematician

thanks that will certainly help.............
hemantc007 is offline  
Reply

  My Math Forum > Welcome > New Users

Tags
mathematician, pure



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
Career in Pure Mathematics herozs Career Guidance 12 July 18th, 2017 10:37 PM
the road to pure mathematics J.Xavier Academic Guidance 1 May 14th, 2013 11:32 AM
Pure mathematician proves Pythagorean Theorem Wrong pi_314 Geometry 2 April 2nd, 2011 02:28 AM
Practice pure maths gascan New Users 2 November 20th, 2009 07:23 AM
Masters in Pure Mathematics? Typhoonikan New Users 4 December 8th, 2007 11:23 AM





Copyright © 2019 My Math Forum. All rights reserved.