What's Imperial college like?

life in Imperial is full of fun!

do you know proper logic?

who told you that "(A)x[ImperialStudent(x) --> nerd(x)] " is premises?

that is a formula need to be established by a given proof system(probably your own one, since i havent found any yet). if it cannot be established(proved) then it is not a theorem.

engineering = nerd
engineering - nerd =0

so if you do engineering and not be a nerd youare 0

mmm..

You're talking about two different forms of logic. Gnostic is more arts based, yours is mathematical.

|- he is an nerd.

is it arts-based enough? and what is the point?

i am impressed

how can you deduce "you are 0" from your given and assumptions?

You cannot prove something like nerdiness unless you use both forms though

no, you cannot, even though you use both "forms"

look m8 my equation is just as good as urs

Then you could investigate the correlation between how mathematical a degree is, and the nerdiness of the people doing the degree.

Logic is not concerned with investigating the truth of premises, only whether statements can legitametly follow from given premises.

interesting..but how?

It's not going to be very accurate, this investigation is it? Any ideas on how to refine it? I should do a PHd thesis on this

Yup, after my media studies BA.

umm....

but the problem is, you have to find a supervisor for it.

Yeah I'll find a professor of media studies.

I'm kidding, no way am I going to do this as a PHd, I'm only 17, I haven't even started uni yet.

there is a chinese boy finished his maths degree when he was 13.

so it is also possible for you to do a PhD thongh you are only 17

Allow me to lean towards your ear, dear child, and I shall whisper to you a profound mystery that has afflicted even the best of men: "it was a t-y-p-o".