Properties of Real Numbers

In course

Occaecat laborum fugiat eiusmod irure sunt dolor non dolore id. Ea fugiat irure enim in veniam nostrud est irure tempor in. Adipisicing ea esse ullamco amet eu exercitation tempor. Pariatur amet sunt nulla reprehenderit velit nisi veniam. Esse irure laborum cillum laboris nulla laboris magna proident velit dolore ad Lorem occaecat. Et velit proident in nulla velit quis anim elit sint ea dolor. Est adipisicing est deserunt veniam veniam.

Description

This lecture covers additional properties of real numbers, including countability and bijections between IN* and 2. It demonstrates that IR is not countable through a proof by contradiction, showing the impossibility of numbering elements of [0, 1].

Official source

https://mediaspace.epfl.ch/media/0_p02i9isa

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Mathematics

Mathematical logic: Set theory

Topology: General topology

Analysis: Topics in analysis

Logic

Classical logic: First-order logic

Related lectures (66)