37,407 reputation
446105
bio website sites.google.com/site/…
location Fiji
age 37
visits member for 2 years, 2 months
seen 1 hour ago

I'm a lecturer of mathematics at the University of the South Pacific. My research interests are in algebraic topology and metric geometry.


Jun
22
comment What is more important in Mathematics, Theorems or its Proofs?
I completely agree with that @MarianoSuárez-Alvarez Proofs, like brush strokes, are essential. Mastering proof techniques is essential. Developing new proof techniques is not essential but may open up closed doors. All of that is irrelevant though to a discussion of what matters more, the brush strokes or the work of art. One would not exist without the other, but just like an artist tries to convey something through a painting so does a mathematician convey something through a theory. The theorems compose the theory, and thus are the means of conveyance.
Jun
22
comment What is more important in Mathematics, Theorems or its Proofs?
@WilliamHilbert have you even read Lakatos? Lakatos never claimed that mathematics must agree with the same reality that physics must agree with. Please read my answer more carefully.
Jun
22
comment What is more important in Mathematics, Theorems or its Proofs?
@Hurkyl but why do you choose to play such games as group theory, linear algebra, Banach spaces, category theory, set theory, but not the fantastic game of "a set with three binary operations defined on it, all are associative, the first one is not commutative, but the the other two are, the first one distributes over the other two, and the other two satisfy $(a*b)#(b*a)=a*a*a*a*a*a#b#b#b#b#b#b#b#b$"?
Jun
22
comment Is Riemann Hypothesis provable?
if you prove something to be provable, then you proved it.
Jun
22
answered What is more important in Mathematics, Theorems or its Proofs?
Jun
20
comment Improper integral when the integrand goes to infinity.
yes, that is true.
Jun
19
answered Category-theoretic description of the real numbers
Jun
18
answered How to show a group is cyclic?
Jun
18
answered Embedding of $S^1\times [0, 1]$ into $S^1\times S^1$?
Jun
18
comment Contraposition in intuitionistic logic?
ah, I see and I agree with you. I now changed the first line to clarify matters. Thanks!
Jun
18
revised Contraposition in intuitionistic logic?
added 44 characters in body
Jun
18
comment Contraposition in intuitionistic logic?
well, yes, I thought the answer made it clear that some aspects of contraposition remain valid. But contraposition itself is not a valid principle in intuitionism. Unless I'm missing something in your comment @CarlMummert please correct me.
Jun
18
answered Contraposition in intuitionistic logic?
Jun
18
comment If $A$ is false, is $\neg A$ true without invoking law of excluded middle?
to answer the question you will first have to make it precise. What do you mean by "true", "false", etc. Once you do that, the answer can (perhaps) be answered. Before that, it is not quite a question.
Jun
17
comment Ways to formalise $\text{Ring}\approx \text{Group}\times \text{Monoid}$.
@Berci you are right, it just came out this way.
Jun
17
comment Is the intersection of dense sets dense?
that is not the correct way to go about it. Look closer at the definition of nowhere dense sets.
Jun
17
comment Is the intersection of dense sets dense?
who says the intersection of dense subsets is dense?
Jun
17
comment What Is The Product Functor
can you put a link to the paper?
Jun
17
revised Ways to formalise $\text{Ring}\approx \text{Group}\times \text{Monoid}$.
added 2 characters in body
Jun
17
answered Ways to formalise $\text{Ring}\approx \text{Group}\times \text{Monoid}$.