Hình minh họa: Có đúng là không thể chứng minh một mệnh đề phủ định không. Bách Khoa Tri Thức
(Nguồn ảnh: Internet)
Ý kiến trên thường được đưa ra bởi những người đang đuối lý trong việc bảo vệ một lập luận nhưng thật ra nó không đúng, ít nhất, không đúng trong khía cạnh logic. Thật vậy, bằng chứng của các mệnh đề phủ định vẫn thường được sử dụng, cả trong logic học cũng như trong toán học nhằm tạo nên sự nhấn mạnh. Phương pháp dùng để chứng minh một mệnh đề phủ định được gọi là phương pháp phản chứng và được thực hiện bằng cách giả định một điều ngược lại với mệnh đề ban đầu là đúng và sau đó chứng minh rằng điều đó dẫn tới điều ngược lại.
Một trong những ví dụ cụ thể nhất chứng minh hiệu quả của phương pháp trên là phản chứng của Euclid cho rằng có vô số các số nguyên tố. Đầu tiên, ông giả định một điều ngược lại, tức là số nguyên tố sẽ dừng lại ở một giá trị cực đại nào đó (tức là giả định rằng số nguyên tố là hữu hạn) - và chỉ ra rằng điều đó có ám chỉ rằng vẫn phải còn những số nguyên tố lớn hơn. Đây là một điều mâu thuẫn với giả thiết ban đầu và vì vậy chứng minh được rằng các số nguyên tố là không có giới hạn.
Bên ngoài thế giới quy tắc của logic và toán học, việc chứng minh một mệnh đề phủ định là ít rõ ràng nhưng lại thú vị hơn. Giữa các nhà khoa học, điều đó gần giống như một lời cam đoan rằng một người không bao giờ có thể làm một điều gì khác mà không cần chứng minh điều phủ định - cũng giống như việc tìm một minh chứng vững chắc cho giá trị của nó ở tất cả mọi nơi vào mọi thời điểm là hoàn toàn không thể. Điều đó được chỉ ra đầu tiên bởi nhà triết học thế kỉ 18 Davia Hume (nhưng trở nên nổi tiếng nhờ vào công của nhà triết học khoa học thế kỉ 20, Karl Popper). Những lập luận của ông thường được miêu tả như là một khẳng định cho niềm tin rằng các học thuyết khoa học là không thể chứng minh nhưng điều đó không đúng: các nhà khoa học vẫn thường xuyên bỏ qua những thách thức đối với những học thuyết yêu quý của mình bằng cách dựa vào những lời giải thích khác, từ những kĩ thuật thực nghiệm đáng nghi ngờ đến những gian lận công khai. Các nhà khoa học thường từ bỏ những ý tưởng của họ không phải vì những ý tưởng đó được chứng minh rằng không đúng một cách rõ ràng mà là do sự xuất hiện của những học thuyết khác có khả năng giải thích tốt hơn.
Từ Khóa:
Có đúng là không thể chứng minh một mệnh đề phủ định không || Bách Khoa Tri Thức || Khám phá thế giới
Bệnh phong do trực khuẩn Mycobacterium leprae gây nên và bệnh này hầu như chỉ có ở loài người. Vi trùng phong chỉ sống được trong tế bào người mà thôi, không thể nuôi cấy trong phòng thí nghiệm được.
Một vài năm trước, giáo sư Stephen Hawking đã có một buổi thuyết trình với công chúng và tại đó ông tuyên bố niềm tin của mình rằng vớ biến mất vào trong những lỗ đen nhỏ tự xuất hiện do các hiệu ứng trọng lực lượng tử. Điều này nghe có vẻ táo bạo nhưng nó
Những dấu hiệu đầu tiên cho rằng một vài dạng ung thư sẽ có thể lây lan nổi lên cách đây gần một thế kỉ khi các thí nghiệm cho thấy rằng gà mà tiếp xúc với mô của chim bị bệnh bạch huyết cũng sẽ chết vì bệnh này. Vào thời đó, ngay cả sự tồn tại của virus v
Đây là một lời khuyên tuyệt vời dựa trên âm thanh vật lý, nhưng chỉ đúng khi sấm sét đi xa. Bất kì ai bị sét đánh mạnh đều có thể nhận ra họ bị đánh mạnh khi ở trạng thái không di chuyển. Trong suốt một cơn giông bão lớn, những vật thể có đầu nhọn như nhữn
Nguyên nhân của việc rám nắng thường được cho là do các tia tử ngoại trong ánh sáng mặt trời và điều này chỉ đúng ở một vài điểm mà thôi. Nguyên nhân thật sự là do một loại tia tử ngoại đặc biệt có bước sóng tương đối ngắn, tia UV B. Những tia này không th
Kết quả sẽ rõ ràng và hợp lý hơn khi cộng hai số âm sẽ cho kết quả là một số âm nhỏ hơn (điều này có thể kiểm chứng với người có tài khoản ngân hàng rút quá mức có trong tài khoản). Cũng hiển nhiên với trường hợp nhân các số âm với các số dương sẽ cho ra k
Người ta thường nói rằng nước được dẫn lưu ra khỏi một bồn rửa chén hay bồn tắm sẽ xoáy vào lỗ thoát nước theo chiều ngược chiều kim đồng hồ khi đang ở Bắc bán cầu và theo hướng ngược lại khi ở Nam bán cầu. Lời giải thích có thể là do lực Coriolis, lực tác
Đây là một trong những đột phá khoa học được người ta thường xuyên nói tới từ sau câu chuyện về Franken-stein. Chàng sinh viên Frankenstein đã tạo ra một sinh vật mới từ nội tạng người chết và có lẽ tính chất kinh dị của nó thành công đến nỗi nó trở nên qu
Tỉ lệ 12 đồng xu cùng ngửa khi tung lên một cách ngẫu nhiên là 1/4096 - thật sự là một tỉ lệ nhỏ nhưng cũng đủ để biện hộ cho những mối nghi ngờ cho rằng có sự lừa bịp. Đương đầu với câu hỏi này, các nhà khoa học trong một khoảng thời gian dài đã dựa vào m
Hành động của chúng ta có thể bị ảnh hưởng bởi các ý nghĩ đã len lỏi vào tâm trí vô thức của chúng ta. Không hề ngạc nhiên, đã có các cuộc náo động vào năm 1957 khi Công ty Subliminal Projection có trụ sở ở New York tuyên bố rằng họ có thể làm tăng doanh s
Theo nguyên tắc, thật sự có thể dự đoán đồng xu sẽ rớt xuống đất với mặt xấp hay ngửa. Cơ học cơ bản của việc tung đồng tiền thì khá đơn giản và các phương trình tìm kết quả có thể được giải bằng máy vi tính. Tuy nhiên, một nghiên cứu gần đây của giáo sư J
Chắc chắn là có rất nhiều các giai thoại chứng cứ nói về một dạng liên kết tâm lý nào đó giữa hai người song sinh, cả cùng trứng và không cùng trứng. Khi Ross McWhirter bị bắn chết bởi một tay súng IRA vào một buổi chiều tháng 11 năm 1975, người anh em cùn
Các số nguyên tố là các “khối nhà” của tất cả các số lớn hơn 1. Nghĩa là tất cả các số, tự bản thân của nó đã là một số nguyên tố, như số 2, 17, 53 hoặc 673, hoặc là sản phẩm của các số nguyên tố, như số 17.119 (17x19x53). Hơn nữa, mỗi các con số đều có th
Tất cả điều đó phụ thuộc vào khái niệm “cao nhất” của bạn. Định nghĩa thông thường là chiều cao so với mực nước biển trung bình, trong trường hợp đó thì không phải nghi ngờ gì nữa, núi Everest đúng là điểm cao nhất trên hành tinh với độ cao 8.848m.
|
SĐT: . Email: . Địa Chỉ: . . |
|
Copyright © 2018. Designed by Nvton. All rights reseved
