Hey! Sign in to get help with your study questionsNew here? Join for free to post
 You are Here: Home >< A-levels

# What are your EQP Titles??

Announcements Posted on
Four hours left to win £100 of Amazon vouchers!! Don't miss out! Take our short survey to enter 24-10-2016
REMINDER: Do not post your personal statement on TSR, otherwise you may have to rewrite it from scratch. Click here for more info. 11-10-2016
1. (Original post by cattubato)
not really this. at least from anecdotal evidence of the ~20 people i know who did it, most people overestimate the effort they need to put into it, and end up getting an A* which they could have got for a fraction of the effort. any more than 14 hours of work and youre being self-indulgent. of course, if youre genuinely interested in it then do as much as you want. but if you just want a letter on your application, then dont worry.
Haha thats wierd ive heard the complete opposite from all my friends, and I underestimated it as well! I didnt enjoy it at all and didnt even get a good grade. from what I know its not worth it. Barely anyone who did it was asked about it in their inteviews (mainly talking about medicine here) because a lot of the interviewers never heard about it. Im not a very good writer though in the first place so that probably played a role in my opinion of it. Depends on everyones situation I guess.
2. (Original post by cattubato)
im interested in your intuitive understanding. ive never heard an explanation that was the least bit intuitive. ive read the original proof (tediously going through line by line) and abridged versions by Nagel ect and other proofs using Turing enumerable computability ect, but never really got any deep intuition of WHY it was true. (especially when one considers stuff like completeness of presburger arithmetic). how did you intuitively conceptualize it?
First Incompleteness Theorem: "Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F."

Second Theorem: For any formal effectively generated system T including basic arithmetical truths and also certain truths about formal provability, if T includes a statement of its own consistency then T is inconsistent.

In other words (I think), a system of statements can only be verified by a larger system of statements.

An intuitive explanation of the concept that will probably satisfy your teachers and examiners (but obviously not actual mathematicians) could be: A computer cannot completely simulate the entire Universe; because that would entail simulating itself, which it cannot do. If it tries to simulate itself, it needs to simulate itself simulating itself, thus needs to simulate itself simulating itself simulating itself...

I am not aware of an intuitive explanation of the proof, however.
3. "Comparing graph drawing algorithms"
4. (Original post by espicton98)
'was Abraham Lincoln's decision to issue the emancipation proclamation for humanitarian reasons, or as a military tactic to win the Civil War?'
I absolutely LOVE that title!

That would be very interesting to examine I'm sure

Good luck
5. (Original post by ilovegoats)
I absolutely LOVE that title!

That would be very interesting to examine I'm sure

Good luck

Thankyou! I hope whoever examines it does find it interesting !!!
6. (Original post by Nayzar)
Haha thats wierd ive heard the complete opposite from all my friends, and I underestimated it as well! I didnt enjoy it at all and didnt even get a good grade. from what I know its not worth it. Barely anyone who did it was asked about it in their inteviews (mainly talking about medicine here) because a lot of the interviewers never heard about it. Im not a very good writer though in the first place so that probably played a role in my opinion of it. Depends on everyones situation I guess.
yeah fair enough, we all probably had a generous moderator then. i suppose for medicine you know what to expect but if anyones doing a subject they've never done before probably do an epq in it
7. (Original post by Mathemagicien)
First Incompleteness Theorem: "Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F."

Second Theorem: For any formal effectively generated system T including basic arithmetical truths and also certain truths about formal provability, if T includes a statement of its own consistency then T is inconsistent.

In other words (I think), a system of statements can only be verified by a larger system of statements.

An intuitive explanation of the concept that will probably satisfy your teachers and examiners (but obviously not actual mathematicians) could be: A computer cannot completely simulate the entire Universe; because that would entail simulating itself, which it cannot do. If it tries to simulate itself, it needs to simulate itself simulating itself, thus needs to simulate itself simulating itself simulating itself...

I am not aware of an intuitive explanation of the proof, however.
haha fair enough then. i did give them a basic proof based on the unproven premise that G is an arithmetic statement (which majority of godels proof proves, if you havent read it yet). but i mainly focused on debunking pseudo-philosophical arguments based on it like "a computer cannot completely simulate the entire Universe".

Write a reply…

Submit reply

## Register

Thanks for posting! You just need to create an account in order to submit the post
1. this can't be left blank
that username has been taken, please choose another Forgotten your password?
2. this can't be left blank
this email is already registered. Forgotten your password?
3. this can't be left blank

6 characters or longer with both numbers and letters is safer

4. this can't be left empty
your full birthday is required
1. Oops, you need to agree to our Ts&Cs to register
2. Slide to join now Processing…

Updated: June 5, 2016
TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Today on TSR

### Who is getting a uni offer this half term?

Find out which unis are hot off the mark here

### How to get a 1st class degree

Poll
Help with your A-levels

## All the essentials

### Student life: what to expect

What it's really like going to uni

### Essay expert

Learn to write like a pro with our ultimate essay guide.

### Uni match

Our tool will help you find the perfect course for you

### Create a study plan

Get your head around what you need to do and when with the study planner tool.

### Resources by subject

Everything from mind maps to class notes.

### Degrees without fees

Discover more about degree-level apprenticeships.

### Study tips from A* students

Students who got top grades in their A-levels share their secrets

## Study help links and info

Can you help? Study help unanswered threadsRules and posting guidelines

## Sponsored content:

### HEAR

Find out how a Higher Education Achievement Report can help you prove your achievements.

## Groups associated with this forum:

View associated groups
Study resources

The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.