Waching daily Nov 27 2018

For more infomation >> COMO FAZER CAMINHÃO DE GALÃOZINHO DE MATERIAL DE LIMPEZA. - Duration: 15:18.

-------------------------------------------

THE TRUTH DOES NOT EXIST. The GÖDEL Theorem | 𝘊𝘪𝘦𝘯𝘤𝘪𝘢𝘴 𝘥𝘦 𝘭𝘢 𝘊𝘪𝘦𝘯𝘤𝘪𝘢 - Duration: 7:14.

Hi curious and curious, I'm JJ Priego, welcome to Science Science, that little place,

where we see that the known finite and infinite is unknown.

Today I will explain the famous Godel's theorem, a theorem created by surely

the brightest logic of the twentieth century and perhaps in history.

And surely the person who has sown confusion.

Even his friend Albert Einstein.

And their findings establish authentic and insurmountable limitations on the power of

mathematics and the human mind.

Want to know more?

Well, let's look around.

INTRO.

What Godel's theorem says?

Does it demonstrate that the truth is unattainable?

Since the time of Euclid, in 2200 years ago, mathematicians have

tried from certain statements called 'axioms' and deduce after them all

class of useful conclusions.

In some ways it's almost like a game, with two rules.

First, the axioms must be the least possible.

Second, the axioms must be consistent.

It must be impossible to deduce two conclusions that contradict each other.

Any high school geometry book begins with a set of axioms.

Let us take an example ... by two points only can draw a straight line; the total

is the sum of the parts is ... and so on and so on ...

Well, for a long time it was assumed that Euclid's axioms were the only

which could be consistent geometry and therefore were "true".

But in the nineteenth century it was shown that by modifying certain way the axioms of Euclid

They could build different geometries, ie "non-Euclidean".

And every one of these geometries differed from the others, but all were consistent.

Thereafter he had no sense to ask which of them was "true".

Instead, it had to ask what was useful.

Curious not?

In fact, many sets of axioms from which could be built

a mathematical system consistent: all different and all of them consistent.

Well, none of these mathematical systems should be possible to deduce from

of its axioms, that something is both well and not, because then mathematics

would not be consistent in this case would have to discard them.

But what happens if we set a statement and we find that we can not prove that

is or so or not?

Suppose I say: "The statement I'm doing is wrong."

How?

What is false?

For if it is false ... then it is false that is saying something false and I have to be

saying something true.

But if I'm saying something true, then it is true that I am saying something false and

It would be true I'm saying something false.

Hehehe not go mess?

It could be going from one place to another indefinitely since it is impossible to prove that what I

said or so or not.

Well then suppose adjust the axioms of logic to eliminate

possibility of making such statements.

Can we find another way to make statements such as "not well or not?"

Let us make history as I like ... and for this we will talk about Kurt Godel, one of

the largest and most unknown mathematicians of the twentieth century.

In addition to Gödel it is recognized as one of the greatest logicians of all

time.

And its influence on science and philosophy has been enormous.

His interest in linking logic and set theory led to understanding

the foundations of mathematics.

A man with only 25 published two -the incompletitud- theorems that have

They left for posterity ... And her doctoral thesis was based on: "Are

sufficient axioms of a formal system to derive each of the propositions

true in all models of the system? "

This result, achieved at 23 years old, is known as theorem Completeness

Godel.

A concise and accurate doctoral thesis: all in only 11 pages.

And if that were not enough, two years later he published his incompleteness theorems in "On

formally undecidable propositions of Principia Mathematica and related systems. "

So in 1931 Gödel presented a valid demonstration that, for any set of

axioms, it is always possible to make statements that, from these axioms can not be proved

or that they are well or that are not.

In that sense, it is impossible to never develop a set of axioms from which

you can deduce a complete mathematical system.

But ... Does this mean we can never find the "truth"?

No way!

First, a mathematical system which is not complete does not mean that it contains

is "false".

The system can still be very useful, provided they do not try to use more

beyond its limits.

Second: Godel's theorem applies only to deductive systems of the type used

in mathematics.

But the deduction is not the only way to discover the "truth".

No axioms that allow us to deduce the dimensions of the solar system.

The latter were obtained through observations and measures ... which is another fairy way "truth".

So you can see the power of his arguments, I went crazy at nothing less than Albert

Einstein ... certainly a great friend.

And is that his proof of the existence of paradoxical solutions of equations

field theory of relativity, made Einstein himself came to

doubt his theory.

Brutal...

By the way, the foundation that bears his name: the Kurt Gödel Society (1987) is dedicated to

promoting research in Logic, Philosophy and History of Mathematics.

Interesting ¿truth?

How you have fallen curious and inquisitive?

Good video here today.

I hope you enjoyed working with Alex Riveiro.

And you already know, to follow quickly on Twitter and YouTube.

Is a crack.

For my part I would've been great and if you like you.

We will continue with the collaboration.

Ponédmelo in the comments.

And you know, if you liked this video I give the like.

And if it's your first time in Science of Science give to this button and subscribe to the channel,

also the bell to keep abreast of developments.

Finally I recommend you follow my other 2 channels, Stories of History and Easypromos

TV.

You will like them.

And remember, knowledge is an essential requirement for survival.

Many thanks.

For more infomation >> THE TRUTH DOES NOT EXIST. The GÖDEL Theorem | 𝘊𝘪𝘦𝘯𝘤𝘪𝘢𝘴 𝘥𝘦 𝘭𝘢 𝘊𝘪𝘦𝘯𝘤𝘪𝘢 - Duration: 7:14.

-------------------------------------------

Revelaba las peores 10 acciones de Letizia cuando asistía a rituales reales - P2 - Duration: 10:57.

For more infomation >> Revelaba las peores 10 acciones de Letizia cuando asistía a rituales reales - P2 - Duration: 10:57.

-------------------------------------------

USA Road trip | From Los Angeles to Vancouver #7 | TRAVEL VLOG - Duration: 6:09.

Am I recording? I don't know if I'm recording, okay.

♫ ♫

We're still in Glacier National Park

we finally got a shower!

- Please look at our hair...

It's wonderful!

It's nice and soft - It smells so good!

And we are now on our way to a route to see some floating icebergs?!

I don't know, all this time in the park we thought Glacier National Park was just "naming"

that there weren't really... icebergs

that there weren't really... icebergs - MARKETING!

or glaciers or whatever

but it seems like there are! So we're in the search of icebergs

- Ughhh 8km... Kill me!

♫ ♫

We just have been told that there are two deers

here on the side

It's amazing!

We just got at the end of the hike

and it's a beautiful lake full of icebergs

this is amazing!

We have been walking for almost 2 hours and a half, more and less

and now there are 2 hours back, but it has been worth it!

I'm so happy we did this route!!

Finally walking!!

- I know, my butt is getting big because we only drive and eat

- We eat healthy!

We eat very healthy

- But... we don't do anything else!

Well in this park we have made a couple of routs, the other parks were just too crowded!

Okay we have a bear in front of the road, basically

let me zoom in so you can see it

- Awww, little bear!

Yes, there it is!

- I'm dying!

It's a black bear

and over there we have two baby bears

Baby bear #1

and baby bear #2

♫ ♫

And we left Glacier National Park!

we just stopped by a street food truck in the middle of the road to buy huckleberries

we haven't much idea of what they are, I think they are gooseberries

- I think you just made that name up, I think they're wild berries

I don't know, gooseberries exist and they have a red color and are small

I don't know

- I don't know

It's interesting

It's interesting - They ripped us off!! 8 bucks!

- They ripped us off!! 8 bucks!

They ripped us off...

Well, I don't know maybe it's what they cost

- There's no way that's what they cost!!!!

- They have ripped us off for good...

So much hate, Carolina!

- No but it's alright, it's alright, it's alright...

- I wanted to try them

Yes, yes they're good

♫ ♫

We have arrived to Spokane!

Carolina has found a Facebook event of a Japanese festival

so we are going to see what's all about

- We are leaving in 30 seconds...

We left and now we're at some kind of farmer's market

here in the middle of the city.

There are a lot of hippie people and I like that!

We just arrived to the place...

- I'm recording a video, wait!

- The one on the right is "Paco"

- and on the left is "Tristán"

Did you just say goodbye to the man who just scammed us?

- I'm super nice!

Japanese festival... so much light!

- The mother's name is "Lola"

- I'M DYING!

This is unbelievable, we're passing by a roundabout!

In the US there are NO roundabouts, okay?

In the entire trip we passed by two roundabouts, this is the third one

Caro and I live in a constant search of showers and plugs

these are our two priorities in this trip

so every time we see a place that might have showers or plugs

we get in.

Maybe we're creating traffic... but we don't care!

We don't care at all!

- We don't f*cking care!

Caro says that... it's possible that there are showers near by

It's true!

- ... of Germans ...(!!!)

Homeless but pretty, always!